TreeView Knowledge Base Browser

appearance as argument number 1

(documentation WaterVehicle EnglishLanguage "WaterVehicle is the class of all TransportationDevices used to travel on or in water.")	Mid-level-ontology.kif 3484-3485
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ TCRT_Express_Boat_Minnehaha.jpg")	pictureList-ImageNet.kif 391-391
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Moscow,_boat_by_Lu_Bridge_(1).jpg")	pictureList-ImageNet.kif 383-383
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ FS_Mistral_02.jpg")	pictureList-ImageNet.kif 546-546
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Polizia_Lagunare_Boat.jpg")	pictureList-ImageNet.kif 386-386
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Police.boat.at.poole.arp.jpg")	pictureList-ImageNet.kif 389-389
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 18/ Prison_police_boat.jpg/ 800px-Prison_police_boat.jpg")	pictureList-ImageNet.kif 382-382
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1a/ Inflatable_boat_with_mercury_4hp_engine.JPG/ 800px-Inflatable_boat_with_mercury_4hp_engine.JPG")	pictureList-ImageNet.kif 390-390
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 68/ Milk_Carton_Boat_Race-Minneapolis-2005-07-24.jpg/ 800px-Milk_Carton_Boat_Race-Minneapolis-2005-07-24.jpg")	pictureList-ImageNet.kif 385-385
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 69/ Nolsoy_rowing_boat,_faroe_islands.jpg/ 397px-Nolsoy_rowing_boat,_faroe_islands.jpg")	pictureList-ImageNet.kif 381-381
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 69/ Oars_of_a_Faroese_rowing_boat.jpg/ 800px-Oars_of_a_Faroese_rowing_boat.jpg")	pictureList-ImageNet.kif 384-384
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 72/ Model_boat_-_science_museum_london_2.jpg/ 450px-Model_boat_-_science_museum_london_2.jpg")	pictureList-ImageNet.kif 388-388
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7b/ SK_Alfred_Krupp_Kiel2007.jpg/ 800px-SK_Alfred_Krupp_Kiel2007.jpg")	pictureList-ImageNet.kif 545-545
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 7f/ Denmark-Odense_River-boat.jpg/ 800px-Denmark-Odense_River-boat.jpg")	pictureList-ImageNet.kif 392-392
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b8/ Lash_vessel.JPG/ 300px-Lash_vessel.JPG")	pictureList-ImageNet.kif 544-544
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c7/ Kochi_boat_20080215-02.jpg/ 800px-Kochi_boat_20080215-02.jpg")	pictureList-ImageNet.kif 393-393
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c9/ Fishing_boat_in_Altafjorden.JPG/ 450px-Fishing_boat_in_Altafjorden.JPG")	pictureList-ImageNet.kif 387-387
(subclass WaterVehicle Vehicle)	Mid-level-ontology.kif 3483-3483	子類水車 and 車輛

appearance as argument number 2

(subclass AmphibiousVehicle WaterVehicle)	MilitaryDevices.kif 2020-2020	子類兩棲車輛 and 水車
(subclass Barge WaterVehicle)	Transportation.kif 2489-2489	子類駁船 and 水車
(subclass Canoe WaterVehicle)	Transportation.kif 2499-2499	子類獨木舟 and 水車
(subclass DisplacementHullWaterVehicle WaterVehicle)	Transportation.kif 2297-2297	子類排水型船體水車 and 水車
(subclass FerryBoat WaterVehicle)	Transportation.kif 2494-2494	子類渡船 and 水車
(subclass FireBoat WaterVehicle)	Transportation.kif 2493-2493	子類消防船 and 水車
(subclass FishingShip WaterVehicle)	Transportation.kif 2436-2436	子類漁船 and 水車
(subclass Kayak WaterVehicle)	Sports.kif 201-201	子類皮艇 and 水車
(subclass Keelboat WaterVehicle)	Sports.kif 204-204	子類 Keelboat and 水車
(subclass MilitaryWaterVehicle WaterVehicle)	Military.kif 151-151	子類軍用水車 and 水車
(subclass MultihullWaterVehicle WaterVehicle)	Transportation.kif 2294-2294	子類多體船水車 and 水車
(subclass PersonalWatercraft WaterVehicle)	Transportation.kif 2505-2505	子類個人船隻 and 水車
(subclass PlaningHullWaterVehicle WaterVehicle)	Transportation.kif 2461-2461	子類滑行船體水車 and 水車
(subclass Runabout WaterVehicle)	Transportation.kif 2497-2497	子類奔波 and 水車
(subclass Sailboat WaterVehicle)	Transportation.kif 2498-2498	子類帆船 and 水車
(subclass Submarine WaterVehicle)	Mid-level-ontology.kif 17658-17658	子類潛艇 and 水車
(subclass TugBoat WaterVehicle)	Transportation.kif 2492-2492	子類拖船 and 水車
(termFormat ChineseLanguage WaterVehicle "水车")	domainEnglishFormat.kif 62505-62505
(termFormat ChineseTraditionalLanguage WaterVehicle "水車")	domainEnglishFormat.kif 62504-62504
(termFormat EnglishLanguage WaterVehicle "water vehicle")	domainEnglishFormat.kif 62503-62503

appearance as argument number 3

(domain ShipCrewFn 1 WaterVehicle)	Transportation.kif 3275-3275	域船員, 1 and 水車
(domain flagState 1 WaterVehicle)	Transportation.kif 1080-1080	域國旗, 1 and 水車
(domain ladenDraft 1 WaterVehicle)	Transportation.kif 2676-2676	域載貨草案, 1 and 水車
(domain vesselDeadWeightTonnage 1 WaterVehicle)	Transportation.kif 2534-2534	域船舶重量噸位, 1 and 水車
(domain vesselDisplacement 1 WaterVehicle)	Transportation.kif 2524-2524	域船隻位移, 1 and 水車
(domain vesselGrossRegisteredTonnage 1 WaterVehicle)	Transportation.kif 2545-2545	域船舶總註冊噸位, 1 and 水車

antecedent

(=> (and (instance ?BERG Iceberg) (instance ?SHIP WaterVehicle)) (maritimeHazard ?BERG ?SHIP))	Geography.kif 4751-4755	例 Physical and 冰山例 Object and 水車海上危險 Physical and Object
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 3498-3506	例 Object and 水車例 Process and Transportation 儀器 Process and Object Object 例 Object and WaterArea Process 是 located 在 Object
(=> (and (instance ?R Reef) (instance ?B WaterVehicle)) (maritimeHazard ?R ?B))	Geography.kif 5959-5963	例 Physical and 礁例 Object and 水車海上危險 Physical and Object
(=> (and (instance ?S Shoal) (instance ?B WaterVehicle)) (maritimeHazard ?S ?B))	Geography.kif 5929-5933	例 Physical and 淺灘例 Object and 水車海上危險 Physical and Object
(=> (and (instance ?WATER River) (trafficableForTrafficType ?WATER ?TYPE) (subclass ?TYPE WaterVehicle)) (instance ?WATER Waterway))	Transportation.kif 1683-1688	例 Object and 河 SelfConnectedObject 是對於交通類別 Object 的 trafficable 子類 SelfConnectedObject and 水車例 Object and 水路
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY))	Transportation.kif 2637-2643	測量 RealNumber and 長噸是 navigable 對於 WaterArea 的運輸噸位例水車 and 水車測量 RealNumber and 長噸是水車的 vessel 位移小於或等於 RealNumber and RealNumber 能力水車的 trip , 路徑 and WaterArea
(=> (and (subclass ?TYPE WaterVehicle) (instance ?EVENT (TransportationFn ?TYPE)) (eventLocated ?EVENT ?PLACE)) (instance ?PLACE WaterArea))	Transportation.kif 2287-2292	子類 TransportationDevice and 水車例 Process and TransportationDevice 的 transportation Process 是 located 在 Object 例 Object and WaterArea
(=> (instance ?CRAFT WaterVehicle) (capability WaterTransportation instrument ?CRAFT))	Mid-level-ontology.kif 17752-17754	例 Object and 水車能力水運, 儀器 and Object
(=> (instance ?X WaterVehicle) (hasPurpose ?X (exists (?EV ?SURF) (and (instance ?SURF Water) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?SURF))))))	Mid-level-ontology.kif 3487-3496	例 Physical and 水車有目的 Physical and entity entity 例 entity and Water 例 entity and Transportation 持有期間何時 entity and 空間的符合 Physical and entity

consequent

(=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle))	Mid-level-ontology.kif 4242-4248	例 Object and 錨例 ObjectTTACH and Attaching 儀器 ObjectTTACH and Object 患者 ObjectTTACH and Entity 例 Entity and 水車
(=> (and (instance ?ORG Organization) (attribute ?ORG WaterTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?T ?V ?OBJ) (and (instance ?T Transportation) (or (patient ?T ?P) (and (possesses ?P ?OBJ) (patient ?T ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?V) (instance ?V WaterVehicle))) ?MEM ?P))))))	naics.kif 8080-8105	例 Collection and Organization attribute Collection and 水運業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 水車, Process and CognitiveAgent
(=> (instance ?D BoatDeck) (exists (?B) (and (instance ?B WaterVehicle) (part ?D ?B))))	Mid-level-ontology.kif 4254-4259	例 Object and 船甲板 Object 例 Object and 水車部分 Object and Object
(=> (instance ?M Mast) (exists (?W) (and (instance ?W WaterVehicle) (part ?M ?W))))	Mid-level-ontology.kif 1505-1510	例 Object and 桅杆 Object 例 Object and 水車部分 Object and Object
(=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside)))))	Cars.kif 4350-4357	例 Physical and OutboardEngine 有目的 Physical and entity 例 entity and 水車空間的符合 Physical and entity 方位 Physical, entity and 外
(=> (instance ?S BoatSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V WaterVehicle) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V)))))))	Cars.kif 5062-5073	例 Physical and BoatSeat 有目的 Physical and entity entity and entity 例 entity and Human 例 entity and 水車持有期間 entity and attribute entity and 坐在位於 entity and Physical 位於 Physical and entity
(=> (instance ?SERVICE WaterTransportationService) (exists (?WATER ?VEHICLE) (and (instance ?WATER WaterTransportation) (instance ?VEHICLE WaterVehicle) (instrument ?WATER ?VEHICLE) (subProcess ?WATER ?SERVICE))))	Transportation.kif 3385-3392	例 Process and WaterTransportationService Process Object 例 Process and 水運例 Object and 水車儀器 Process and Object 子過程 Process and Process
(=> (instance ?TRANSPORT WaterTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT WaterVehicle) (instance ?AREA WaterArea) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?AREA))))	Mid-level-ontology.kif 17743-17750	例 Process and 水運 Object Object 例 Object and 水車例 Object and WaterArea 儀器 Process and Object Process 是 located 在 Object
(=> (instance ?X WaterSkiing) (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION) (and (instance ?BOAT WaterVehicle) (instance ?WATER WaterArea) (instance ?SKI WaterSki) (eventLocated ?X ?WATER) (instance ?HUMAN Human) (located ?HUMAN ?SKI) (connects ?LINE ?HUMAN ?BOAT) (instance ?TRANS Transportation) (instrument ?TRANS ?BOAT) (instance ?MOTION Motion) (agent ?MOTION ?HUMAN) (instrument ?MOTION ?SKI) (causes ?TRANS ?MOTION) (subProcess ?MOTION ?X))))	Sports.kif 1246-1263	例 Process and WaterSkiing AutonomousAgent Object, Object, Object, Object, Process and Process 例 Object and 水車例 Object and WaterArea 例 Object and WaterSki Process 是 located 在 Object 例 AutonomousAgent and Human 位於 AutonomousAgent and Object 連接 Object, AutonomousAgent and Object 例 Process and Transportation 儀器 Process and Object 例 Process and Motion agent Process and AutonomousAgent 儀器 Process and Object 原因 Process and Process 子過程 Process and Process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: