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
-------------------------


s__documentation(s__WaterVehicle,s__EnglishLanguage,'"WaterVehicle is the class of all TransportationDevices used to travel on or in water."')

Mid-level-ontology.kif 3417-3418
s__externalImage(s__WaterVehicle,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 1a/ TCRT_Express_Boat_Minnehaha.jpg"')

pictureList-ImageNet.kif 391-391
s__externalImage(s__WaterVehicle,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Moscow,_boat_by_Lu_Bridge_(1).jpg"')

pictureList-ImageNet.kif 383-383
s__externalImage(s__WaterVehicle,'"http://upload.wikimedia.org/wikipedia/commons/ a/ a8/ FS_Mistral_02.jpg"')

pictureList-ImageNet.kif 546-546
s__externalImage(s__WaterVehicle,'"http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Polizia_Lagunare_Boat.jpg"')

pictureList-ImageNet.kif 386-386
s__externalImage(s__WaterVehicle,'"http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Police.boat.at.poole.arp.jpg"')

pictureList-ImageNet.kif 389-389
s__externalImage(s__WaterVehicle,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 18/ Prison_police_boat.jpg/ 800px-Prison_police_boat.jpg"')

pictureList-ImageNet.kif 382-382
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__WaterVehicle,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ b8/ Lash_vessel.JPG/ 300px-Lash_vessel.JPG"')

pictureList-ImageNet.kif 544-544
s__externalImage(s__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
s__externalImage(s__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
s__subclass(s__WaterVehicle,s__Vehicle)

s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__Vehicle,s__SetOrClass)

Mid-level-ontology.kif 3416-3416 Water vehicle is a subclass of vehicle

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


s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__AmphibiousVehicle,s__SetOrClass)

s__subclass(s__AmphibiousVehicle,s__WaterVehicle)

MilitaryDevices.kif 2020-2020 Amphibious vehicle is a subclass of water vehicle
s__instance(s__WaterVehicle,s__SetOrClass)

s__subclass(s__Barge,s__WaterVehicle)

s__instance(s__Barge,s__SetOrClass)

Transportation.kif 2496-2496 Barge is a subclass of water vehicle
s__instance(s__WaterVehicle,s__SetOrClass)

s__subclass(s__Canoe,s__WaterVehicle)

s__instance(s__Canoe,s__SetOrClass)

Transportation.kif 2506-2506 Canoe is a subclass of water vehicle
s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__DisplacementHullWaterVehicle,s__SetOrClass)

s__subclass(s__DisplacementHullWaterVehicle,s__WaterVehicle)

Transportation.kif 2304-2304 Displacement hull water vehicle is a subclass of water vehicle
s__subclass(s__FerryBoat,s__WaterVehicle)

s__instance(s__FerryBoat,s__SetOrClass)

s__instance(s__WaterVehicle,s__SetOrClass)

Transportation.kif 2501-2501 Ferry boat is a subclass of water vehicle
s__subclass(s__FireBoat,s__WaterVehicle)

s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__FireBoat,s__SetOrClass)

Transportation.kif 2500-2500 Fire boat is a subclass of water vehicle
s__instance(s__FishingShip,s__SetOrClass)

s__instance(s__WaterVehicle,s__SetOrClass)

s__subclass(s__FishingShip,s__WaterVehicle)

Transportation.kif 2443-2443 Fishing ship is a subclass of water vehicle
s__instance(s__WaterVehicle,s__SetOrClass)

s__subclass(s__Kayak,s__WaterVehicle)

s__instance(s__Kayak,s__SetOrClass)

Sports.kif 166-166 Kayak is a subclass of water vehicle
s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__Keelboat,s__SetOrClass)

s__subclass(s__Keelboat,s__WaterVehicle)

Sports.kif 169-169 Keelboat is a subclass of water vehicle
s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__MilitaryWaterVehicle,s__SetOrClass)

s__subclass(s__MilitaryWaterVehicle,s__WaterVehicle)

Military.kif 151-151 Military water vehicle is a subclass of water vehicle
s__subclass(s__MultihullWaterVehicle,s__WaterVehicle)

s__instance(s__MultihullWaterVehicle,s__SetOrClass)

s__instance(s__WaterVehicle,s__SetOrClass)

Transportation.kif 2301-2301 Multihull water vehicle is a subclass of water vehicle
s__subclass(s__PersonalWatercraft,s__WaterVehicle)

s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__PersonalWatercraft,s__SetOrClass)

Transportation.kif 2512-2512 Personal watercraft is a subclass of water vehicle
s__subclass(s__PlaningHullWaterVehicle,s__WaterVehicle)

s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__PlaningHullWaterVehicle,s__SetOrClass)

Transportation.kif 2468-2468 Planing hull water vehicle is a subclass of water vehicle
s__instance(s__WaterVehicle,s__SetOrClass)

s__subclass(s__Runabout,s__WaterVehicle)

s__instance(s__Runabout,s__SetOrClass)

Transportation.kif 2504-2504 Runabout is a subclass of water vehicle
s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__Sailboat,s__SetOrClass)

s__subclass(s__Sailboat,s__WaterVehicle)

Transportation.kif 2505-2505 Sailboat is a subclass of water vehicle
s__subclass(s__Submarine,s__WaterVehicle)

s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__Submarine,s__SetOrClass)

Mid-level-ontology.kif 15860-15860 Submarine is a subclass of water vehicle
s__instance(s__WaterVehicle,s__SetOrClass)

s__subclass(s__TugBoat,s__WaterVehicle)

s__instance(s__TugBoat,s__SetOrClass)

Transportation.kif 2499-2499 Tug boat is a subclass of water vehicle
s__termFormat(s__ChineseLanguage,s__WaterVehicle,'"水车"')

domainEnglishFormat.kif 62471-62471
s__termFormat(s__ChineseTraditionalLanguage,s__WaterVehicle,'"水車"')

domainEnglishFormat.kif 62470-62470
s__termFormat(s__EnglishLanguage,s__WaterVehicle,'"water vehicle"')

domainEnglishFormat.kif 62469-62469

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


s__domain(s__ShipCrewFn__m,n__1,s__WaterVehicle)

Transportation.kif 3282-3282 The number 1 argument of ship crew is an instance of water vehicle
s__domain(s__flagState__m,n__1,s__WaterVehicle)

Transportation.kif 1080-1080 The number 1 argument of flag state is an instance of water vehicle
s__domain(s__ladenDraft__m,n__1,s__WaterVehicle)

Transportation.kif 2683-2683 The number 1 argument of laden draft is an instance of water vehicle
s__domain(s__vesselDeadWeightTonnage__m,n__1,s__WaterVehicle)

Transportation.kif 2541-2541 The number 1 argument of vessel dead weight tonnage is an instance of water vehicle
s__domain(s__vesselDisplacement__m,n__1,s__WaterVehicle)

Transportation.kif 2531-2531 The number 1 argument of vessel displacement is an instance of water vehicle
s__domain(s__vesselGrossRegisteredTonnage__m,n__1,s__WaterVehicle)

Transportation.kif 2552-2552 The number 1 argument of vessel gross registered tonnage is an instance of water vehicle

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


( ! [V__BERG,V__SHIP] :
   (((s__instance(V__BERG,s__Iceberg) &
         s__instance(V__SHIP,s__WaterVehicle))
       =>
       (s__maritimeHazard(V__BERG,V__SHIP)))
   )
)

Geography.kif 4542-4546
( ! [V__CRAFT,V__EVENT] :
   (((s__instance(V__CRAFT,s__WaterVehicle) &
         s__instance(V__EVENT,s__Transportation) &
         s__instrument(V__EVENT,V__CRAFT))
     =>
     (( ? [V__WATER] :
         ((s__instance(V__WATER,s__WaterArea) &
             s__eventLocated(V__EVENT,V__WATER))))))
)
)

Mid-level-ontology.kif 3431-3439
( ! [V__R,V__B] :
   (((s__instance(V__R,s__Reef) &
         s__instance(V__B,s__WaterVehicle))
       =>
       (s__maritimeHazard(V__R,V__B)))
   )
)

Geography.kif 5740-5744
( ! [V__B,V__S] :
   (((s__instance(V__S,s__Shoal) &
         s__instance(V__B,s__WaterVehicle))
       =>
       (s__maritimeHazard(V__S,V__B)))
   )
)

Geography.kif 5711-5715
( ! [V__WATER,V__TYPE] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__SelfConnectedObject))
       =>
       (((s__instance(V__WATER,s__River) &
             s__trafficableForTrafficType(V__WATER,V__TYPE)
           &
           s__subclass(V__TYPE,s__WaterVehicle))
         =>
         (s__instance(V__WATER,s__Waterway)))))
   )
)

Transportation.kif 1683-1688
( ! [V__TONNAGE,V__VESSEL,V__WATERWAY,V__DWT] :
   (((s__instance(V__TONNAGE,s__RealNumber) &
         s__instance(V__WATERWAY,s__WaterArea) &
         s__instance(V__DWT,s__RealNumber))
       =>
       (((s__navigableForShippingTonnage(V__WATERWAY,s__MeasureFn(V__TONNAGE,s__LongTon))
           &
           s__instance(V__VESSEL,s__WaterVehicle) &
           s__vesselDisplacement(V__VESSEL,s__MeasureFn(V__DWT,s__LongTon))
         &
         s__lessThanOrEqualTo(V__DWT,V__TONNAGE))
     =>
     (s__capability(s__TripFn(V__VESSEL)
    ,s__path__m,V__WATERWAY)))))
)
)

Transportation.kif 2644-2650
( ! [V__PLACE,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__TransportationDevice) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__WaterVehicle) &
             s__instance(V__EVENT,s__TransportationFn(V__TYPE))
         &
         s__eventLocated(V__EVENT,V__PLACE))
     =>
     (s__instance(V__PLACE,s__WaterArea)))))
)
)

Transportation.kif 2294-2299
( ! [V__CRAFT] :
   ((s__instance(V__CRAFT,s__WaterVehicle) =>
       (s__capability(s__WaterTransportation,s__instrument__m,V__CRAFT)))
   )
)

Mid-level-ontology.kif 15931-15933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3420-3429

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


( ! [V__A,V__S,V__ATTACH] :
   (((s__instance(V__A,s__Anchor) &
         s__instance(V__ATTACH,s__Attaching) &
         s__instrument(V__ATTACH,V__A)
       &
       s__patient(V__ATTACH,V__S))
   =>
   (s__instance(V__S,s__WaterVehicle)))
)
)

Mid-level-ontology.kif 4113-4119
No TPTP formula. May not be expressible in strict first order. naics.kif 8087-8112
( ! [V__D] :
   ((s__instance(V__D,s__BoatDeck) =>
       (( ? [V__B] :
           ((s__instance(V__B,s__WaterVehicle) &
               s__part(V__D,V__B))))))
   )
)

Mid-level-ontology.kif 4125-4130
( ! [V__M] :
   ((s__instance(V__M,s__Mast) =>
       (( ? [V__W] :
           ((s__instance(V__W,s__WaterVehicle) &
               s__part(V__M,V__W))))))
   )
)

Mid-level-ontology.kif 1442-1447
No TPTP formula. May not be expressible in strict first order. Cars.kif 4366-4373
No TPTP formula. May not be expressible in strict first order. Cars.kif 5085-5096
( ! [V__SERVICE] :
   ((s__instance(V__SERVICE,s__WaterTransportationService) =>
       (( ? [V__WATER, V__VEHICLE] :
           ((s__instance(V__WATER,s__WaterTransportation) &
               s__instance(V__VEHICLE,s__WaterVehicle) &
               s__instrument(V__WATER,V__VEHICLE)
             &
             s__subProcess(V__WATER,V__SERVICE))))))
)
)

Transportation.kif 3392-3399
( ! [V__TRANSPORT] :
   ((s__instance(V__TRANSPORT,s__WaterTransportation) =>
       (( ? [V__CRAFT, V__AREA] :
           ((s__instance(V__CRAFT,s__WaterVehicle) &
               s__instance(V__AREA,s__WaterArea) &
               s__instrument(V__TRANSPORT,V__CRAFT)
             &
             s__eventLocated(V__TRANSPORT,V__AREA))))))
)
)

Mid-level-ontology.kif 15922-15929
( ! [V__X] :
   ((s__instance(V__X,s__WaterSkiing) =>
       (( ? [V__HUMAN, V__SKI, V__BOAT, V__LINE, V__WATER, V__TRANS, V__MOTION] :
           ((s__instance(V__LINE,s__Object) &
               (s__instance(V__BOAT,s__WaterVehicle) &
                 s__instance(V__WATER,s__WaterArea) &
                 s__instance(V__SKI,s__WaterSki) &
                 s__eventLocated(V__X,V__WATER)
               &
               s__instance(V__HUMAN,s__Human) &
               s__located(V__HUMAN,V__SKI)
             &
             s__connects(V__LINE,V__HUMAN,V__BOAT)
           &
           s__instance(V__TRANS,s__Transportation) &
           s__instrument(V__TRANS,V__BOAT)
         &
         s__instance(V__MOTION,s__Motion) &
         s__agent(V__MOTION,V__HUMAN)
       &
       s__instrument(V__MOTION,V__SKI)
     &
     s__causes(V__TRANS,V__MOTION)
   &
   s__subProcess(V__MOTION,V__X)))))))
)
)

Sports.kif 1100-1117


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