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

Formal Language: 



Term 1: Term 2:

(subclass Confining Keeping) Merge.kif 12200-12200 Confining ist eine teilkategorie von Keeping
(subclass Imprisoning Confining) Mid-level-ontology.kif 13920-13920 Imprisoning ist eine teilkategorie von Confining


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