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

Formal Language: 



Term 1: Term 2:

(subclass HotelPackage Proposition) Hotel.kif 2725-2725 HotelPackage ist eine teilkategorie von Proposition
(subclass GolfPackage HotelPackage) Hotel.kif 2805-2805 GolfPackage ist eine teilkategorie von HotelPackage


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