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

Formal Language: 



Term 1: Term 2:

(subclass CateringService ServiceProcess) Dining.kif 571-571 CateringService ist eine teilkategorie von ServiceProcess
(subclass FoodPickup CateringService) Dining.kif 604-604 FoodPickup ist eine teilkategorie von CateringService


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