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

Formal Language: 



Term 1: Term 2:

(subclass EngineersSubprocess IntentionalProcess) engineering.kif 1197-1197 EngineersSubprocess ist eine teilkategorie von IntentionalProcess
(subclass EngineersProcess EngineersSubprocess) engineering.kif 1201-1201 EngineersProcess ist eine teilkategorie von EngineersSubprocess
(subclass SystemSpecification EngineersSubprocess) engineering.kif 1220-1220 SystemSpecification ist eine teilkategorie von EngineersSubprocess
(subclass SystemDesign EngineersSubprocess) engineering.kif 1225-1225 SystemDesign ist eine teilkategorie von EngineersSubprocess


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners