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

Formal Language: 



Term 1: Term 2:

(subclass PalletizedCargoShip GeneralCargoShip) Transportation.kif 2322-2322 PalletizedCargoShip ist eine teilkategorie von GeneralCargoShip


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