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

Formal Language: 



Term 1: Term 2:

(subclass Sleeve Clothing) Mid-level-ontology.kif 5267-5267 Sleeve ist eine teilkategorie von Clothing
(subclass Sleeve
    (CoveringFn Arm))		 Mid-level-ontology.kif 5270-5270 Sleeve ist eine teilkategorie von CoveringFn Arm


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