| as.binaryMatrix | Matrix Representation of Knowledge Structures |
| as.famset | Convert a binary matrix to a family of sets |
| as.relation.kbase | Surmise Relations of Knowledge Structures |
| as.relation.kfamset | Surmise Relations of Knowledge Structures |
| as.relation.kstructure | Surmise Relations of Knowledge Structures |
| closure.kbase | Closure of a Knowledge Structure |
| closure.kfamset | Closure of a Knowledge Structure |
| closure.kstructure | Closure of a Knowledge Structure |
| kassess | Assess Individuals |
| katoms | Atoms of Knowledge Structures |
| kbase | base of a Knowledge Space |
| kdomain | Domain of Knowledge Structures or Bases |
| kfamset | Knowledge Structure |
| kfringe | Fringes of Knowledge States |
| kfringe_inner | Fringes of Knowledge States |
| kfringe_outer | Fringes of Knowledge States |
| kneighbourhood | Neighbourhood of Knowledge States |
| knneighbourhood | Neighbourhood of Knowledge States |
| knotions | Notions of Knowledge Structures or Bases |
| kspace | Space Property of a Knowledge Structure |
| kstructure | Knowledge Structure |
| kstructure_is_kspace | Space Property of a Knowledge Structure |
| kstructure_is_wellgraded | Well-Gradedness of Knowledge Structures |
| ktrace | Trace of Knowledge Structures |
| kvalidate | Validate Prerequisite Relations or Knowledge Structures |
| lpath | Learning Paths in a Knowledge Structure |
| lpath_is_gradation | Gradation Property of Learning Paths |
| plot.kbase | Plot Family of Sets |
| plot.kfamset | Plot Family of Sets |
| plot.kstructure | Plot Family of Sets |
| reduction.kfamset | Reduction of Knowledge Structures |
| reduction.kstructure | Reduction of Knowledge Structures |