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

Formal Language: 



Term 1: Term 2:

(subclass TransportationService ServiceProcess) Transportation.kif 3335-3335 TransportationService ist eine teilkategorie von ServiceProcess
(subclass AirTransportationService TransportationService) Transportation.kif 3354-3354 AirTransportationService ist eine teilkategorie von TransportationService
(subclass LandTransportationService TransportationService) Transportation.kif 3368-3368 LandTransportationService ist eine teilkategorie von TransportationService
(subclass WaterTransportationService TransportationService) Transportation.kif 3381-3381 WaterTransportationService ist eine teilkategorie von TransportationService
(subclass ShuttleService TransportationService) Hotel.kif 2029-2029 ShuttleService ist eine teilkategorie von TransportationService


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