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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterVehicle
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 3953-3954
(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 3952-3952 WaterVehicle est une sous-classe de Vehicle

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


(subclass AmphibiousVehicle WaterVehicle) MilitaryDevices.kif 2020-2020 AmphibiousVehicle est une sous-classe de WaterVehicle
(subclass Barge WaterVehicle) Transportation.kif 2680-2680 Barge est une sous-classe de WaterVehicle
(subclass Canoe WaterVehicle) Transportation.kif 2690-2690 Canoe est une sous-classe de WaterVehicle
(subclass DisplacementHullWaterVehicle WaterVehicle) Transportation.kif 2472-2472 DisplacementHullWaterVehicle est une sous-classe de WaterVehicle
(subclass FerryBoat WaterVehicle) Transportation.kif 2685-2685 FerryBoat est une sous-classe de WaterVehicle
(subclass FireBoat WaterVehicle) Transportation.kif 2684-2684 FireBoat est une sous-classe de WaterVehicle
(subclass FishingShip WaterVehicle) Transportation.kif 2611-2611 FishingShip est une sous-classe de WaterVehicle
(subclass Kayak WaterVehicle) Sports.kif 213-213 Kayak est une sous-classe de WaterVehicle
(subclass Keelboat WaterVehicle) Sports.kif 216-216 Keelboat est une sous-classe de WaterVehicle
(subclass MilitaryWaterVehicle WaterVehicle) Military.kif 218-218 MilitaryWaterVehicle est une sous-classe de WaterVehicle
(subclass MultihullWaterVehicle WaterVehicle) Transportation.kif 2469-2469 MultihullWaterVehicle est une sous-classe de WaterVehicle
(subclass PersonalWatercraft WaterVehicle) Transportation.kif 2696-2696 PersonalWatercraft est une sous-classe de WaterVehicle
(subclass PlaningHullWaterVehicle WaterVehicle) Transportation.kif 2652-2652 PlaningHullWaterVehicle est une sous-classe de WaterVehicle
(subclass Runabout WaterVehicle) Transportation.kif 2688-2688 Runabout est une sous-classe de WaterVehicle
(subclass Sailboat WaterVehicle) Transportation.kif 2689-2689 Sailboat est une sous-classe de WaterVehicle
(subclass Submarine WaterVehicle) Mid-level-ontology.kif 19216-19216 Submarine est une sous-classe de WaterVehicle
(subclass TugBoat WaterVehicle) Transportation.kif 2683-2683 TugBoat est une sous-classe de WaterVehicle
(termFormat ChineseLanguage WaterVehicle "水车") domainEnglishFormat.kif 62528-62528 TugBoat est une sous-classe de WaterVehicle
(termFormat ChineseTraditionalLanguage WaterVehicle "水車") domainEnglishFormat.kif 62527-62527 TugBoat est une sous-classe de WaterVehicle
(termFormat EnglishLanguage WaterVehicle "water vehicle") domainEnglishFormat.kif 62526-62526 TugBoat est une sous-classe de WaterVehicle

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


(domain ShipCrewFn 1 WaterVehicle) Transportation.kif 4412-4412 Le nombre 1 argument de ShipCrewFn est une instance de WaterVehicle
(domain flagState 1 WaterVehicle) Transportation.kif 1080-1080 Le nombre 1 argument de flagState est une instance de WaterVehicle
(domain ladenDraft 1 WaterVehicle) Transportation.kif 3204-3204 Le nombre 1 argument de ladenDraft est une instance de WaterVehicle
(domain vesselDeadWeightTonnage 1 WaterVehicle) Transportation.kif 2725-2725 Le nombre 1 argument de vesselDeadWeightTonnage est une instance de WaterVehicle
(domain vesselDisplacement 1 WaterVehicle) Transportation.kif 2715-2715 Le nombre 1 argument de vesselDisplacement est une instance de WaterVehicle
(domain vesselGrossRegisteredTonnage 1 WaterVehicle) Transportation.kif 2748-2748 Le nombre 1 argument de vesselGrossRegisteredTonnage est une instance de WaterVehicle

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


(=>
    (and
        (instance ?BERG Iceberg)
        (instance ?SHIP WaterVehicle))
    (maritimeHazard ?BERG ?SHIP))		 Geography.kif 4820-4824
(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))		 Mid-level-ontology.kif 3967-3975
(=>
    (and
        (instance ?R Reef)
        (instance ?B WaterVehicle))
    (maritimeHazard ?R ?B))		 Geography.kif 6028-6032
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 WaterVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 RoadVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 3596-3610
(=>
    (and
        (instance ?S Shoal)
        (instance ?B WaterVehicle))
    (maritimeHazard ?S ?B))		 Geography.kif 5998-6002
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 WaterVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 WaterVehicle))		 Transportation.kif 3533-3544
(=>
    (and
        (instance ?WATER River)
        (trafficableForTrafficType ?WATER ?TYPE)
        (subclass ?TYPE WaterVehicle))
    (instance ?WATER Waterway))		 Transportation.kif 1823-1828
(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))		 Transportation.kif 3165-3171
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))		 Transportation.kif 2462-2467
(=>
    (and
        (transitwayThroughputCapacity ?LT ?TI ?I)
        (instance ?LT Waterway)
        (instance ?C Collection)
        (memberType ?C WaterVehicle)
        (memberCount ?C ?I2)
        (member ?V ?C)
        (instance ?T Transportation)
        (instrument ?T ?V)
        (during
            (WhenFn ?T) ?TI)
        (path ?T ?LT))
    (greaterThanOrEqualTo ?I ?I2))		 Transportation.kif 3927-3939
(=>
    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))		 Mid-level-ontology.kif 19310-19312
(=>
    (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 3956-3965

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 ?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
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 Aircraft)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 RoadVehicle)))		 Transportation.kif 3612-3626
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RailVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RoadVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 3580-3594
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RoadVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))		 Transportation.kif 3564-3578
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 WaterVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 WaterVehicle))		 Transportation.kif 3533-3544
(=>
    (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 1728-1733
(=>
    (instance ?OE OutboardEngine)
    (hasPurpose ?OE
        (exists (?W)
            (and
                (instance ?W WaterVehicle)
                (meetsSpatially ?OE ?W)
                (orientation ?OE ?W Outside)))))		 Cars.kif 4411-4418
(=>
    (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 5123-5134
(=>
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
        (and
            (instance ?WATER WaterTransportation)
            (instance ?VEHICLE WaterVehicle)
            (instrument ?WATER ?VEHICLE)
            (subProcess ?WATER ?SERVICE))))		 Transportation.kif 4522-4529
(=>
    (instance ?TRANSPORT WaterTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT WaterVehicle)
            (instance ?AREA WaterArea)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?AREA))))		 Mid-level-ontology.kif 19301-19308
(=>
    (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 1260-1277


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