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 4020-4021
(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 4019-4019 Water vehicle is a subclass of vehicle

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


(subclass AmphibiousVehicle WaterVehicle) MilitaryDevices.kif 2019-2019 Amphibious vehicle is a subclass of water vehicle
(subclass Barge WaterVehicle) Transportation.kif 2440-2440 Barge is a subclass of water vehicle
(subclass Canoe WaterVehicle) Transportation.kif 2449-2449 Canoe is a subclass of water vehicle
(subclass DisplacementHullWaterVehicle WaterVehicle) Transportation.kif 2258-2258 Displacement hull water vehicle is a subclass of water vehicle
(subclass FerryBoat WaterVehicle) Transportation.kif 2445-2445 Ferry boat is a subclass of water vehicle
(subclass FireBoat WaterVehicle) Transportation.kif 2444-2444 Fire boat is a subclass of water vehicle
(subclass FishingShip WaterVehicle) Transportation.kif 2397-2397 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 2255-2255 Multihull water vehicle is a subclass of water vehicle
(subclass PersonalWatercraft WaterVehicle) Transportation.kif 2455-2455 Personal watercraft is a subclass of water vehicle
(subclass PlaningHullWaterVehicle WaterVehicle) Transportation.kif 2422-2422 Planing hull water vehicle is a subclass of water vehicle
(subclass Runabout WaterVehicle) Transportation.kif 2447-2447 Runabout is a subclass of water vehicle
(subclass Sailboat WaterVehicle) Transportation.kif 2448-2448 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 2443-2443 Tug boat is a subclass of water vehicle
(termFormat EnglishLanguage WaterVehicle "water vehicle") domainEnglishFormat.kif 10842-10842 "water vehicle" is the printable form of water vehicle in english language

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


(domain ShipCrewFn 1 WaterVehicle) Transportation.kif 3219-3219 The number 1 argument of ship crew is an instance of water vehicle
(domain flagState 1 WaterVehicle) Transportation.kif 1054-1054 The number 1 argument of flag state is an instance of water vehicle
(domain ladenDraft 1 WaterVehicle) Transportation.kif 2617-2617 The number 1 argument of laden draft is an instance of water vehicle
(domain vesselDeadWeightTonnage 1 WaterVehicle) Transportation.kif 2475-2475 The number 1 argument of vessel dead weight tonnage is an instance of water vehicle
(domain vesselDisplacement 1 WaterVehicle) Transportation.kif 2465-2465 The number 1 argument of vessel displacement is an instance of water vehicle
(domain vesselGrossRegisteredTonnage 1 WaterVehicle) Transportation.kif 2486-2486 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 4034-4042
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?RIVER Waterway))
Transportation.kif 1653-1658
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))
Transportation.kif 2578-2584
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))
Transportation.kif 2248-2253
(=>
    (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 4023-4032

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


(=>
    (and
        (instance ?A Anchor)
        (instance ?ATTACH Attaching)
        (instrument ?ATTACH ?A)
        (patient ?ATTACH ?S))
    (instance ?S WaterVehicle))
Mid-level-ontology.kif 4716-4722
(=>
    (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 8089-8114
(=>
    (instance ?D BoatDeck)
    (exists (?B)
        (and
            (instance ?B WaterVehicle)
            (part ?D ?B))))
Mid-level-ontology.kif 4728-4733
(=>
    (instance ?M Mast)
    (exists (?W)
        (and
            (instance ?W WaterVehicle)
            (part ?M ?W))))
Mid-level-ontology.kif 1905-1910
(=>
    (instance ?OE OutboardEngine)
    (hasPurpose ?OE
        (exists (?W)
            (and
                (instance ?W WaterVehicle)
                (meetsSpatially ?OE ?W)
                (orientation ?OE ?W Outside)))))
Cars.kif 4314-4321
(=>
    (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 5033-5044
(=>
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
        (and
            (instance ?WATER WaterTransportation)
            (instance ?VEHICLE WaterVehicle)
            (instrument ?WATER ?VEHICLE)
            (subProcess ?WATER ?SERVICE))))
Transportation.kif 3329-3336
(=>
    (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 1096-1113


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