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

Formal Language: 



Term 1: Term 2:

(subclass WithHousekeepingPolicy HousekeepingPolicy) Hotel.kif 2699-2699 WithHousekeepingPolicy รจ una sottoclasse di HousekeepingPolicy


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