| 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 |