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

Formal Language: 



Term 1: Term 2:

(subclass ChildrenPolicy Policy) Hotel.kif 2530-2530 ChildrenPolicy ist eine teilkategorie von Policy
(subclass NoChildrenPolicy ChildrenPolicy) Hotel.kif 2621-2621 NoChildrenPolicy ist eine teilkategorie von ChildrenPolicy


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