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

Formal Language: 



Term 1: Term 2:

(subclass CheckInService ServiceProcess) Hotel.kif 2148-2148 CheckInService ist eine teilkategorie von ServiceProcess
(subclass SelfServiceCheckIn CheckInService) Hotel.kif 2168-2168 SelfServiceCheckIn ist eine teilkategorie von CheckInService


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