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, watercraft, whaler, whaling_ship, wherry...

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 3445-3446
(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 3444-3444 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 2488-2488 Barge is a subclass of water vehicle
(subclass Canoe WaterVehicle) Transportation.kif 2498-2498 Canoe is a subclass of water vehicle
(subclass DisplacementHullWaterVehicle WaterVehicle) Transportation.kif 2296-2296 Displacement hull water vehicle is a subclass of water vehicle
(subclass FerryBoat WaterVehicle) Transportation.kif 2493-2493 Ferry boat is a subclass of water vehicle
(subclass FireBoat WaterVehicle) Transportation.kif 2492-2492 Fire boat is a subclass of water vehicle
(subclass FishingShip WaterVehicle) Transportation.kif 2435-2435 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 2293-2293 Multihull water vehicle is a subclass of water vehicle
(subclass PersonalWatercraft WaterVehicle) Transportation.kif 2504-2504 Personal watercraft is a subclass of water vehicle
(subclass PlaningHullWaterVehicle WaterVehicle) Transportation.kif 2460-2460 Planing hull water vehicle is a subclass of water vehicle
(subclass Runabout WaterVehicle) Transportation.kif 2496-2496 Runabout is a subclass of water vehicle
(subclass Sailboat WaterVehicle) Transportation.kif 2497-2497 Sailboat is a subclass of water vehicle
(subclass Submarine WaterVehicle) Mid-level-ontology.kif 17152-17152 Submarine is a subclass of water vehicle
(subclass TugBoat WaterVehicle) Transportation.kif 2491-2491 Tug boat is a subclass of water vehicle
(termFormat ChineseLanguage WaterVehicle "水车") domainEnglishFormat.kif 62472-62472
(termFormat ChineseTraditionalLanguage WaterVehicle "水車") domainEnglishFormat.kif 62471-62471
(termFormat EnglishLanguage WaterVehicle "water vehicle") domainEnglishFormat.kif 62470-62470

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


(domain ShipCrewFn 1 WaterVehicle) Transportation.kif 3274-3274 The number 1 argument of ship crew is an instance of water vehicle
(domain flagState 1 WaterVehicle) Transportation.kif 1080-1080 The number 1 argument of flag state is an instance of water vehicle
(domain ladenDraft 1 WaterVehicle) Transportation.kif 2675-2675 The number 1 argument of laden draft is an instance of water vehicle
(domain vesselDeadWeightTonnage 1 WaterVehicle) Transportation.kif 2533-2533 The number 1 argument of vessel dead weight tonnage is an instance of water vehicle
(domain vesselDisplacement 1 WaterVehicle) Transportation.kif 2523-2523 The number 1 argument of vessel displacement is an instance of water vehicle
(domain vesselGrossRegisteredTonnage 1 WaterVehicle) Transportation.kif 2544-2544 The number 1 argument of vessel gross registered tonnage is an instance of water vehicle

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


(=>
    (and
        (instance ?BERG Iceberg)
        (instance ?SHIP WaterVehicle))
    (maritimeHazard ?BERG ?SHIP))
Geography.kif 4649-4653
(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))
Mid-level-ontology.kif 3459-3467
(=>
    (and
        (instance ?R Reef)
        (instance ?B WaterVehicle))
    (maritimeHazard ?R ?B))
Geography.kif 5856-5860
(=>
    (and
        (instance ?S Shoal)
        (instance ?B WaterVehicle))
    (maritimeHazard ?S ?B))
Geography.kif 5826-5830
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))
Transportation.kif 1683-1688
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))
Transportation.kif 2636-2642
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))
Transportation.kif 2286-2291
(=>
    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17223-17225
(=>
    (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 3448-3457

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


(=>
    (and
        (instance ?A Anchor)
        (instance ?ATTACH Attaching)
        (instrument ?ATTACH ?A)
        (patient ?ATTACH ?S))
    (instance ?S WaterVehicle))
Mid-level-ontology.kif 4149-4155
(=>
    (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 8080-8105
(=>
    (instance ?D BoatDeck)
    (exists (?B)
        (and
            (instance ?B WaterVehicle)
            (part ?D ?B))))
Mid-level-ontology.kif 4161-4166
(=>
    (instance ?M Mast)
    (exists (?W)
        (and
            (instance ?W WaterVehicle)
            (part ?M ?W))))
Mid-level-ontology.kif 1470-1475
(=>
    (instance ?OE OutboardEngine)
    (hasPurpose ?OE
        (exists (?W)
            (and
                (instance ?W WaterVehicle)
                (meetsSpatially ?OE ?W)
                (orientation ?OE ?W Outside)))))
Cars.kif 4353-4360
(=>
    (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 5065-5076
(=>
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
        (and
            (instance ?WATER WaterTransportation)
            (instance ?VEHICLE WaterVehicle)
            (instrument ?WATER ?VEHICLE)
            (subProcess ?WATER ?SERVICE))))
Transportation.kif 3384-3391
(=>
    (instance ?TRANSPORT WaterTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT WaterVehicle)
            (instance ?AREA WaterArea)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?AREA))))
Mid-level-ontology.kif 17214-17221
(=>
    (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 1174-1191


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 3.0 is open source software produced by Articulate Software and its partners