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

Formal Language: 



Term 1: Term 2:

(subclass PassengerAndCargoShip PassengerShip) Transportation.kif 2432-2432 PassengerAndCargoShip ist eine teilkategorie von PassengerShip
(subclass PassengerAndCargoShip CargoShip) Transportation.kif 2433-2433 PassengerAndCargoShip ist eine teilkategorie von CargoShip
(subclass PassengerLandingCraft PassengerAndCargoShip) Transportation.kif 2352-2352 PassengerLandingCraft ist eine teilkategorie von PassengerAndCargoShip


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