Sigma KB Term Intersection

(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea))	Transportation.kif 2287-2292	輸送機は WaterVehicle の subclass では %n 工程は TransportationFn 輸送機の instance では %n eventLocated 工程 and オブジェクトオブジェクトは水域の instance では %n
(subclass WaterArea GeographicArea)	Merge.kif 14120-14120	水域は地理的地域の subclass では %n
(subclass SurfZone WaterArea)	Weather.kif 1378-1378	SurfZone は水域の subclass では %n
(subclass Harbor WaterArea)	Transportation.kif 917-917	Harbor は水域の subclass では %n
(subclass Anchorage WaterArea)	Transportation.kif 921-921	Anchorage は水域の subclass では %n
(subclass ShipBerth WaterArea)	Transportation.kif 2937-2937	ShipBerth は水域の subclass では %n
(subclass StreamWaterArea WaterArea)	Mid-level-ontology.kif 9032-9032	河川水域は水域の subclass では %n
(subclass StaticWaterArea WaterArea)	Mid-level-ontology.kif 9039-9039	静水域は水域の subclass では %n
(subclass SaltWaterArea WaterArea)	Merge.kif 14133-14133	塩水地域は水域の subclass では %n
(subclass FreshWaterArea WaterArea)	Merge.kif 14138-14138	淡水地域は水域の subclass では %n
(subclass HydropowerWaterArea WaterArea)	Geography.kif 2028-2028	HydropowerWaterArea は水域の subclass では %n
(subclass BodyOfWater WaterArea)	Geography.kif 4491-4491	BodyOfWater は水域の subclass では %n
(subclass WaterCurrent WaterArea)	Geography.kif 4932-4932	WaterCurrent は水域の subclass では %n
(subclass InlandWaterSystem WaterArea)	Geography.kif 5341-5341	InlandWaterSystem は水域の subclass では %n
(subclass StreamWaterConfluence WaterArea)	Geography.kif 5484-5484	StreamWaterConfluence は水域の subclass では %n
(subclass RiverSystem WaterArea)	Geography.kif 5509-5509	RiverSystem は水域の subclass では %n
(subclass Waterway WaterArea)	Geography.kif 5577-5577	Waterway は水域の subclass では %n
(subclass RiverMouth WaterArea)	Geography.kif 5655-5655	RiverMouth は水域の subclass では %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