Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterVehicle
WaterVehicle(water vehicle)
more pictures...
Bounty, Flying_Dutchman, H.M.S._Bounty, Kon_Tiki, Merrimac, Monitor, balsa_raft, bareboat, boat, canal_boat, carack, carrack, combat_ship, gig, ice_yacht, iceboat, junk, longboat, lugger, narrow_boat, narrowboat, privateer, racing_boat, racing_gig, racing_shell, racing_skiff, racing_yacht, river_boat, scooter, scull, sea_boat, sharpie, sharpshooter, shell, ship, shrimper, single_shell, steamer, steamship, submersible, surface_ship, surfboat, vessel, war_vessel, warship, water_cart, water_vehicle, watercraft, whaler, whaling_ship...

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 4016-4017
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ TCRT_Express_Boat_Minnehaha.jpg") pictureList-ImageNet.kif 392-392 "http://upload.wikimedia.org/wikipedia/commons/1/1a/ TCRT_Express_Boat_Minnehaha.jpg" is a URL depicting water vehicle
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Moscow,_boat_by_Lu_Bridge_(1).jpg") pictureList-ImageNet.kif 384-384 "http://upload.wikimedia.org/wikipedia/commons/7/71/ Moscow,_boat_by_Lu_Bridge_(1).jpg" is a URL depicting water vehicle
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ FS_Mistral_02.jpg") pictureList-ImageNet.kif 547-547 "http://upload.wikimedia.org/wikipedia/commons/a/a8/ FS_Mistral_02.jpg" is a URL depicting water vehicle
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Polizia_Lagunare_Boat.jpg") pictureList-ImageNet.kif 387-387 "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Polizia_Lagunare_Boat.jpg" is a URL depicting water vehicle
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Police.boat.at.poole.arp.jpg") pictureList-ImageNet.kif 390-390 "http://upload.wikimedia.org/wikipedia/commons/e/ed/ Police.boat.at.poole.arp.jpg" is a URL depicting water vehicle
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 18/ Prison_police_boat.jpg/ 800px-Prison_police_boat.jpg") pictureList-ImageNet.kif 383-383 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 18/ Prison_police_boat.jpg/ 800px-Prison_police_boat.jpg" is a URL depicting water vehicle
(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 391-391 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1a/ Inflatable_boat_with_mercury_4hp_engine.JPG/ 800px-Inflatable_boat_with_mercury_4hp_engine.JPG" is a URL depicting water vehicle
(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 386-386 "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" is a URL depicting water vehicle
(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 382-382 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 69/ Nolsoy_rowing_boat,_faroe_islands.jpg/ 397px-Nolsoy_rowing_boat,_faroe_islands.jpg" is a URL depicting water vehicle
(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 385-385 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 69/ Oars_of_a_Faroese_rowing_boat.jpg/ 800px-Oars_of_a_Faroese_rowing_boat.jpg" is a URL depicting water vehicle
(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 389-389 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 72/ Model_boat_-_science_museum_london_2.jpg/ 450px-Model_boat_-_science_museum_london_2.jpg" is a URL depicting water vehicle
(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 546-546 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7b/ SK_Alfred_Krupp_Kiel2007.jpg/ 800px-SK_Alfred_Krupp_Kiel2007.jpg" is a URL depicting water vehicle
(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 393-393 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7f/ Denmark-Odense_River-boat.jpg/ 800px-Denmark-Odense_River-boat.jpg" is a URL depicting water vehicle
(externalImage WaterVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b8/ Lash_vessel.JPG/ 300px-Lash_vessel.JPG") pictureList-ImageNet.kif 545-545 "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b8/ Lash_vessel.JPG/ 300px-Lash_vessel.JPG" is a URL depicting water vehicle
(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 394-394 "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c7/ Kochi_boat_20080215-02.jpg/ 800px-Kochi_boat_20080215-02.jpg" is a URL depicting water vehicle
(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 388-388 "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c9/ Fishing_boat_in_Altafjorden.JPG/ 450px-Fishing_boat_in_Altafjorden.JPG" is a URL depicting water vehicle
(subclass WaterVehicle Vehicle) Mid-level-ontology.kif 4015-4015 Water vehicle is a subclass of vehicle

appearance as argument number 2
-------------------------


(subclass AmphibiousVehicle WaterVehicle) MilitaryDevices.kif 2020-2020 Amphibious vehicle is a subclass of water vehicle
(subclass Barge WaterVehicle) Transportation.kif 2468-2468 Barge is a subclass of water vehicle
(subclass Canoe WaterVehicle) Transportation.kif 2477-2477 Canoe is a subclass of water vehicle
(subclass DisplacementHullWaterVehicle WaterVehicle) Transportation.kif 2286-2286 Displacement hull water vehicle is a subclass of water vehicle
(subclass FerryBoat WaterVehicle) Transportation.kif 2473-2473 Ferry boat is a subclass of water vehicle
(subclass FireBoat WaterVehicle) Transportation.kif 2472-2472 Fire boat is a subclass of water vehicle
(subclass FishingShip WaterVehicle) Transportation.kif 2425-2425 Fishing ship is a subclass of water vehicle
(subclass Kayak WaterVehicle) Sports.kif 166-166 Kayak is a subclass of water vehicle
(subclass Keelboat WaterVehicle) Sports.kif 169-169 Keelboat is a subclass of water vehicle
(subclass MilitaryWaterVehicle WaterVehicle) Military.kif 151-151 Military water vehicle is a subclass of water vehicle
(subclass MultihullWaterVehicle WaterVehicle) Transportation.kif 2283-2283 Multihull water vehicle is a subclass of water vehicle
(subclass PersonalWatercraft WaterVehicle) Transportation.kif 2483-2483 Personal watercraft is a subclass of water vehicle
(subclass PlaningHullWaterVehicle WaterVehicle) Transportation.kif 2450-2450 Planing hull water vehicle is a subclass of water vehicle
(subclass Runabout WaterVehicle) Transportation.kif 2475-2475 Runabout is a subclass of water vehicle
(subclass Sailboat WaterVehicle) Transportation.kif 2476-2476 Sailboat is a subclass of water vehicle
(subclass Submarine WaterVehicle) Mid-level-ontology.kif 15240-15240 Submarine is a subclass of water vehicle
(subclass TugBoat WaterVehicle) Transportation.kif 2471-2471 Tug boat is a subclass of water vehicle
(termFormat ChineseLanguage WaterVehicle "水车") domainEnglishFormat.kif 62449-62449 "水车" is the printable form of water vehicle in ChineseLanguage
(termFormat ChineseTraditionalLanguage WaterVehicle "水車") domainEnglishFormat.kif 62448-62448 "水車" is the printable form of water vehicle in ChineseTraditionalLanguage
(termFormat EnglishLanguage WaterVehicle "water vehicle") domainEnglishFormat.kif 62447-62447 "water vehicle" is the printable form of water vehicle in english language

appearance as argument number 3
-------------------------


(domain ShipCrewFn 1 WaterVehicle) Transportation.kif 3244-3244 The number 1 argument of ship crew is an instance of water vehicle
(domain flagState 1 WaterVehicle) Transportation.kif 1069-1069 The number 1 argument of flag state is an instance of water vehicle
(domain ladenDraft 1 WaterVehicle) Transportation.kif 2645-2645 The number 1 argument of laden draft is an instance of water vehicle
(domain vesselDeadWeightTonnage 1 WaterVehicle) Transportation.kif 2503-2503 The number 1 argument of vessel dead weight tonnage is an instance of water vehicle
(domain vesselDisplacement 1 WaterVehicle) Transportation.kif 2493-2493 The number 1 argument of vessel displacement is an instance of water vehicle
(domain vesselGrossRegisteredTonnage 1 WaterVehicle) Transportation.kif 2514-2514 The number 1 argument of vessel gross registered tonnage is an instance of water vehicle

antecedent
-------------------------


(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))
Mid-level-ontology.kif 4030-4038
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1668-1673
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))
Transportation.kif 2606-2612
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))
Transportation.kif 2276-2281
(=>
    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))
Mid-level-ontology.kif 15343-15345
(=>
    (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 4019-4028

consequent
-------------------------


(=>
    (and
        (instance ?A Anchor)
        (instance ?ATTACH Attaching)
        (instrument ?ATTACH ?A)
        (patient ?ATTACH ?S))
    (instance ?S WaterVehicle))
Mid-level-ontology.kif 4711-4717
(=>
    (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)
                            (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 8087-8112
(=>
    (instance ?D BoatDeck)
    (exists (?B)
        (and
            (instance ?B WaterVehicle)
            (part ?D ?B))))
Mid-level-ontology.kif 4723-4728
(=>
    (instance ?M Mast)
    (exists (?W)
        (and
            (instance ?W WaterVehicle)
            (part ?M ?W))))
Mid-level-ontology.kif 1900-1905
(=>
    (instance ?OE OutboardEngine)
    (hasPurpose ?OE
        (exists (?W)
            (and
                (instance ?W WaterVehicle)
                (meetsSpatially ?OE ?W)
                (orientation ?OE ?W Outside)))))
Cars.kif 4322-4329
(=>
    (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 5041-5052
(=>
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
        (and
            (instance ?WATER WaterTransportation)
            (instance ?VEHICLE WaterVehicle)
            (instrument ?WATER ?VEHICLE)
            (subProcess ?WATER ?SERVICE))))
Transportation.kif 3354-3361
(=>
    (instance ?TRANSPORT WaterTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT WaterVehicle)
            (instance ?AREA WaterArea)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?AREA))))
Mid-level-ontology.kif 15334-15341
(=>
    (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 1098-1115


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners