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

Formal Language: 



Term 1: Term 2:

(subclass HotelRoom Room) Hotel.kif 119-119 HotelRoom ist eine teilkategorie von Room
(subclass HotelRoom HotelUnit) Hotel.kif 120-120 HotelRoom ist eine teilkategorie von HotelUnit


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