Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Model Abstract) engineering.kif 68-68 Model is a subclass of abstract
(subclass MathematicalModel Model) engineering.kif 241-241 Mathematical model is a subclass of model
(subclass Multipole Model) engineering.kif 314-314 Multipole is a subclass of model
(subclass MultipoleModel Model) engineering.kif 340-340 Multipole model is a subclass of model
(subclass MultipolePole Model) engineering.kif 388-388 Multipole pole is a subclass of model
(subclass MultipoleSection Model) engineering.kif 430-430 Multipole section is a subclass of model


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners