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

Formal Language: 



Term 1: Term 2:

(subclass Trousers Clothing) Mid-level-ontology.kif 5164-5164 Trousers ist eine teilkategorie von Clothing
(subclass Trousers
    (CoveringFn Leg))		 Mid-level-ontology.kif 5167-5167 Trousers ist eine teilkategorie von CoveringFn Leg


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