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

Formal Language: 



Term 1: Term 2:

(subclass Trousers Clothing) Mid-level-ontology.kif 5163-5163 Trousers ist eine teilkategorie von Clothing
(subclass Trousers
    (CoveringFn Leg))		 Mid-level-ontology.kif 5166-5166 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