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

Formal Language: 



Term 1: Term 2:

(subclass FishingShip WaterVehicle) Transportation.kif 2436-2436
(subclass Trawler FishingShip) Transportation.kif 2438-2438
(subclass FishFactoryShip FishingShip) Transportation.kif 2439-2439
(subclass FishCarrierShip FishingShip) Transportation.kif 2440-2440
(subclass FishingVessel FishingShip) Transportation.kif 2441-2441


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