WaterVehicle![]() ![]() ![]() ![]() | ![]() |
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 3927-3928 | |
(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 3926-3926 |
appearance as argument number 2 |
![]() |
(subclass AmphibiousVehicle WaterVehicle) | MilitaryDevices.kif 2177-2177 | |
(subclass Barge WaterVehicle) | Transportation.kif 2683-2683 | |
(subclass Canoe WaterVehicle) | Transportation.kif 2693-2693 | |
(subclass DisplacementHullWaterVehicle WaterVehicle) | Transportation.kif 2472-2472 | |
(subclass FerryBoat WaterVehicle) | Transportation.kif 2688-2688 | |
(subclass FireBoat WaterVehicle) | Transportation.kif 2687-2687 | |
(subclass FishingShip WaterVehicle) | Transportation.kif 2614-2614 | |
(subclass Kayak WaterVehicle) | Sports.kif 213-213 | |
(subclass Keelboat WaterVehicle) | Sports.kif 216-216 | |
(subclass MilitaryWaterVehicle WaterVehicle) | Military.kif 228-228 | |
(subclass MultihullWaterVehicle WaterVehicle) | Transportation.kif 2469-2469 | |
(subclass PersonalWatercraft WaterVehicle) | Transportation.kif 2699-2699 | |
(subclass PlaningHullWaterVehicle WaterVehicle) | Transportation.kif 2655-2655 | |
(subclass Runabout WaterVehicle) | Transportation.kif 2691-2691 | |
(subclass Sailboat WaterVehicle) | Transportation.kif 2692-2692 | |
(subclass Submarine WaterVehicle) | Mid-level-ontology.kif 19209-19209 | |
(subclass TugBoat WaterVehicle) | Transportation.kif 2686-2686 | |
(termFormat ChineseLanguage WaterVehicle "水车") | domainEnglishFormat.kif 62499-62499 | |
(termFormat ChineseTraditionalLanguage WaterVehicle "水車") | domainEnglishFormat.kif 62498-62498 | |
(termFormat EnglishLanguage WaterVehicle "water vehicle") | domainEnglishFormat.kif 62497-62497 |
appearance as argument number 3 |
![]() |
(domain ShipCrewFn 1 WaterVehicle) | Transportation.kif 4416-4416 | |
(domain flagState 1 WaterVehicle) | Transportation.kif 1080-1080 | |
(domain ladenDraft 1 WaterVehicle) | Transportation.kif 3207-3207 | |
(domain vesselDeadWeightTonnage 1 WaterVehicle) | Transportation.kif 2728-2728 | |
(domain vesselDisplacement 1 WaterVehicle) | Transportation.kif 2718-2718 | |
(domain vesselGrossRegisteredTonnage 1 WaterVehicle) | Transportation.kif 2751-2751 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle)) |
Mid-level-ontology.kif 4685-4691 | |
(=> (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 | |
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 Aircraft) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 RoadVehicle))) |
Transportation.kif 3616-3630 | |
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RailVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RoadVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft))) |
Transportation.kif 3584-3598 | |
(=> (and (instance ?S MultiModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 RoadVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (or (instance ?V2 RailVehicle) (instance ?V2 WaterVehicle) (instance ?V2 Aircraft))) |
Transportation.kif 3568-3582 | |
(=> (and (instance ?S UniModalTransitSystem) (routeInSystem ?P ?S) (instance ?T1 Transportation) (path ?T1 ?P) (instance ?V1 WaterVehicle) (instrument ?T1 ?V1) (instance ?T2 Transportation) (path ?T2 ?P) (instrument ?T2 ?V2)) (instance ?V2 WaterVehicle)) |
Transportation.kif 3537-3548 | |
(=> (instance ?D BoatDeck) (exists (?B) (and (instance ?B WaterVehicle) (part ?D ?B)))) |
Mid-level-ontology.kif 4697-4702 | |
(=> (instance ?M Mast) (exists (?W) (and (instance ?W WaterVehicle) (part ?M ?W)))) |
Mid-level-ontology.kif 1722-1727 | |
(=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside))))) |
Cars.kif 4411-4418 | |
(=> (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 5123-5134 | |
(=> (instance ?SERVICE WaterTransportationService) (exists (?WATER ?VEHICLE) (and (instance ?WATER WaterTransportation) (instance ?VEHICLE WaterVehicle) (instrument ?WATER ?VEHICLE) (subProcess ?WATER ?SERVICE)))) |
Transportation.kif 4526-4533 | |
(=> (instance ?TRANSPORT WaterTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT WaterVehicle) (instance ?AREA WaterArea) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?AREA)))) |
Mid-level-ontology.kif 19294-19301 | |
(=> (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 1260-1277 |
![]() |
![]() |