WaterVehicle more pictures... |
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 | WaterVehicle ist eine teilkategorie von Vehicle |
appearance as argument number 2 |
appearance as argument number 3 |
(domain ShipCrewFn 1 WaterVehicle) | Transportation.kif 3275-3275 | Die Zahl 1 Argument von ShipCrewFn ist ein fall von WaterVehicle %n{nicht} |
(domain flagState 1 WaterVehicle) | Transportation.kif 1080-1080 | Die Zahl 1 Argument von flagState ist ein fall von WaterVehicle %n{nicht} |
(domain ladenDraft 1 WaterVehicle) | Transportation.kif 2676-2676 | Die Zahl 1 Argument von ladenDraft ist ein fall von WaterVehicle %n{nicht} |
(domain vesselDeadWeightTonnage 1 WaterVehicle) | Transportation.kif 2534-2534 | Die Zahl 1 Argument von vesselDeadWeightTonnage ist ein fall von WaterVehicle %n{nicht} |
(domain vesselDisplacement 1 WaterVehicle) | Transportation.kif 2524-2524 | Die Zahl 1 Argument von vesselDisplacement ist ein fall von WaterVehicle %n{nicht} |
(domain vesselGrossRegisteredTonnage 1 WaterVehicle) | Transportation.kif 2545-2545 | Die Zahl 1 Argument von vesselGrossRegisteredTonnage ist ein fall von WaterVehicle %n{nicht} |
antecedent |
consequent |
(=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle)) |
Mid-level-ontology.kif 4242-4248 | |
(=> (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 |
|
(=> (instance ?D BoatDeck) (exists (?B) (and (instance ?B WaterVehicle) (part ?D ?B)))) |
Mid-level-ontology.kif 4254-4259 |
|
(=> (instance ?M Mast) (exists (?W) (and (instance ?W WaterVehicle) (part ?M ?W)))) |
Mid-level-ontology.kif 1505-1510 |
|
(=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside))))) |
Cars.kif 4350-4357 |
|
(=> (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 |
|
(=> (instance ?SERVICE WaterTransportationService) (exists (?WATER ?VEHICLE) (and (instance ?WATER WaterTransportation) (instance ?VEHICLE WaterVehicle) (instrument ?WATER ?VEHICLE) (subProcess ?WATER ?SERVICE)))) |
Transportation.kif 3385-3392 |
|
(=> (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 |
|
(=> (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 |
|