Ontologies listed to the left are parents of (included by) those to the right. Ontologies in UPPERCASE are in the EngMath family. Click on any ontology name to browse the ontology report and definitions.
Kif-Sets
Kif-Extensions
Frame-Ontology
Abstract-Algebra
PHYSICAL-QUANTITIES
UNARY-SCALAR-FUNCTIONS
TIME-DEPENDENT-QUANTITIES
Cml
STANDARD-UNITS
UNARY-SCALAR-FUNCTIONS ...
TIME-DEPENDENT-QUANTITIES
Vt-Design
Vt-Domain
Vt-Example
Cml
SCALAR-QUANTITIES
TENSOR-QUANTITIES
Vt-Design ...
Vt-Domain ...
Configuration-Design
Vt-Design ...
Kif-Meta
Configuration-Design ...
Kif-Ontology
Kif-Relations
Frame-Ontology ...
Kif-Extensions ...
Kif-Numbers
Kif-Lists
Kif-Extensions ...
Kif-Meta
Configuration-Design ...
Kif-Relations
Frame-Ontology ...
Kif-Extensions ...