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 3484-3485
(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 3483-3483 WaterVehicle e' uma sub-classe de Vehicle

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


(subclass AmphibiousVehicle WaterVehicle) MilitaryDevices.kif 2020-2020 AmphibiousVehicle e' uma sub-classe de WaterVehicle
(subclass Barge WaterVehicle) Transportation.kif 2489-2489 Barge e' uma sub-classe de WaterVehicle
(subclass Canoe WaterVehicle) Transportation.kif 2499-2499 Canoe e' uma sub-classe de WaterVehicle
(subclass DisplacementHullWaterVehicle WaterVehicle) Transportation.kif 2297-2297 DisplacementHullWaterVehicle e' uma sub-classe de WaterVehicle
(subclass FerryBoat WaterVehicle) Transportation.kif 2494-2494 FerryBoat e' uma sub-classe de WaterVehicle
(subclass FireBoat WaterVehicle) Transportation.kif 2493-2493 FireBoat e' uma sub-classe de WaterVehicle
(subclass FishingShip WaterVehicle) Transportation.kif 2436-2436 FishingShip e' uma sub-classe de WaterVehicle
(subclass Kayak WaterVehicle) Sports.kif 201-201 Kayak e' uma sub-classe de WaterVehicle
(subclass Keelboat WaterVehicle) Sports.kif 204-204 Keelboat e' uma sub-classe de WaterVehicle
(subclass MilitaryWaterVehicle WaterVehicle) Military.kif 151-151 MilitaryWaterVehicle e' uma sub-classe de WaterVehicle
(subclass MultihullWaterVehicle WaterVehicle) Transportation.kif 2294-2294 MultihullWaterVehicle e' uma sub-classe de WaterVehicle
(subclass PersonalWatercraft WaterVehicle) Transportation.kif 2505-2505 PersonalWatercraft e' uma sub-classe de WaterVehicle
(subclass PlaningHullWaterVehicle WaterVehicle) Transportation.kif 2461-2461 PlaningHullWaterVehicle e' uma sub-classe de WaterVehicle
(subclass Runabout WaterVehicle) Transportation.kif 2497-2497 Runabout e' uma sub-classe de WaterVehicle
(subclass Sailboat WaterVehicle) Transportation.kif 2498-2498 Sailboat e' uma sub-classe de WaterVehicle
(subclass Submarine WaterVehicle) Mid-level-ontology.kif 17658-17658 Submarine e' uma sub-classe de WaterVehicle
(subclass TugBoat WaterVehicle) Transportation.kif 2492-2492 TugBoat e' uma sub-classe de WaterVehicle
(termFormat ChineseLanguage WaterVehicle "水车") domainEnglishFormat.kif 62505-62505
(termFormat ChineseTraditionalLanguage WaterVehicle "水車") domainEnglishFormat.kif 62504-62504
(termFormat EnglishLanguage WaterVehicle "water vehicle") domainEnglishFormat.kif 62503-62503

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


(domain ShipCrewFn 1 WaterVehicle) Transportation.kif 3275-3275 O argumento numero 1 de ShipCrewFn e' uma instancia de WaterVehicle
(domain flagState 1 WaterVehicle) Transportation.kif 1080-1080 O argumento numero 1 de flagState e' uma instancia de WaterVehicle
(domain ladenDraft 1 WaterVehicle) Transportation.kif 2676-2676 O argumento numero 1 de ladenDraft e' uma instancia de WaterVehicle
(domain vesselDeadWeightTonnage 1 WaterVehicle) Transportation.kif 2534-2534 O argumento numero 1 de vesselDeadWeightTonnage e' uma instancia de WaterVehicle
(domain vesselDisplacement 1 WaterVehicle) Transportation.kif 2524-2524 O argumento numero 1 de vesselDisplacement e' uma instancia de WaterVehicle
(domain vesselGrossRegisteredTonnage 1 WaterVehicle) Transportation.kif 2545-2545 O argumento numero 1 de vesselGrossRegisteredTonnage e' uma instancia de WaterVehicle

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


(=>
    (and
        (instance ?BERG Iceberg)
        (instance ?SHIP WaterVehicle))
    (maritimeHazard ?BERG ?SHIP))
Geography.kif 4751-4755
(=>
    (and
        (instance ?CRAFT WaterVehicle)
        (instance ?EVENT Transportation)
        (instrument ?EVENT ?CRAFT))
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (eventLocated ?EVENT ?WATER))))
Mid-level-ontology.kif 3498-3506
(=>
    (and
        (instance ?R Reef)
        (instance ?B WaterVehicle))
    (maritimeHazard ?R ?B))
Geography.kif 5959-5963
(=>
    (and
        (instance ?S Shoal)
        (instance ?B WaterVehicle))
    (maritimeHazard ?S ?B))
Geography.kif 5929-5933
(=>
    (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 2637-2643
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))
Transportation.kif 2287-2292
(=>
    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17752-17754
(=>
    (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 3487-3496

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


(=>
    (and
        (instance ?A Anchor)
        (instance ?ATTACH Attaching)
        (instrument ?ATTACH ?A)
        (patient ?ATTACH ?S))
    (instance ?S WaterVehicle))
Mid-level-ontology.kif 4242-4248
(=>
    (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
(=>
    (instance ?D BoatDeck)
    (exists (?B)
        (and
            (instance ?B WaterVehicle)
            (part ?D ?B))))
Mid-level-ontology.kif 4254-4259
(=>
    (instance ?M Mast)
    (exists (?W)
        (and
            (instance ?W WaterVehicle)
            (part ?M ?W))))
Mid-level-ontology.kif 1505-1510
(=>
    (instance ?OE OutboardEngine)
    (hasPurpose ?OE
        (exists (?W)
            (and
                (instance ?W WaterVehicle)
                (meetsSpatially ?OE ?W)
                (orientation ?OE ?W Outside)))))
Cars.kif 4350-4357
(=>
    (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 5062-5073
(=>
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
        (and
            (instance ?WATER WaterTransportation)
            (instance ?VEHICLE WaterVehicle)
            (instrument ?WATER ?VEHICLE)
            (subProcess ?WATER ?SERVICE))))
Transportation.kif 3385-3392
(=>
    (instance ?TRANSPORT WaterTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT WaterVehicle)
            (instance ?AREA WaterArea)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?AREA))))
Mid-level-ontology.kif 17743-17750
(=>
    (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 1246-1263


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