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

Formal Language: 



Term 1: Term 2:

(subclass FishingShip WaterVehicle) Transportation.kif 2436-2436 FishingShipWaterVehiclesubclass では %n
(subclass Trawler FishingShip) Transportation.kif 2438-2438 TrawlerFishingShipsubclass では %n
(subclass FishFactoryShip FishingShip) Transportation.kif 2439-2439 FishFactoryShipFishingShipsubclass では %n
(subclass FishCarrierShip FishingShip) Transportation.kif 2440-2440 FishCarrierShipFishingShipsubclass では %n
(subclass FishingVessel FishingShip) Transportation.kif 2441-2441 FishingVesselFishingShipsubclass では %n


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