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 3477-3478
(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 3476-3476 水车 是 车辆 的 subclass

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


(subclass AmphibiousVehicle WaterVehicle) MilitaryDevices.kif 2020-2020 两栖车辆 是 水车 的 subclass
(subclass Barge WaterVehicle) Transportation.kif 2511-2511 驳船 是 水车 的 subclass
(subclass Canoe WaterVehicle) Transportation.kif 2521-2521 独木舟 是 水车 的 subclass
(subclass DisplacementHullWaterVehicle WaterVehicle) Transportation.kif 2303-2303 排水型船体水车 是 水车 的 subclass
(subclass FerryBoat WaterVehicle) Transportation.kif 2516-2516 渡船 是 水车 的 subclass
(subclass FireBoat WaterVehicle) Transportation.kif 2515-2515 消防船 是 水车 的 subclass
(subclass FishingShip WaterVehicle) Transportation.kif 2442-2442 渔船 是 水车 的 subclass
(subclass Kayak WaterVehicle) Sports.kif 201-201 皮艇 是 水车 的 subclass
(subclass Keelboat WaterVehicle) Sports.kif 204-204 Keelboat 是 水车 的 subclass
(subclass MilitaryWaterVehicle WaterVehicle) Military.kif 151-151 军用水车 是 水车 的 subclass
(subclass MultihullWaterVehicle WaterVehicle) Transportation.kif 2300-2300 多体船水车 是 水车 的 subclass
(subclass PersonalWatercraft WaterVehicle) Transportation.kif 2527-2527 个人船只 是 水车 的 subclass
(subclass PlaningHullWaterVehicle WaterVehicle) Transportation.kif 2483-2483 滑行船体水车 是 水车 的 subclass
(subclass Runabout WaterVehicle) Transportation.kif 2519-2519 奔波 是 水车 的 subclass
(subclass Sailboat WaterVehicle) Transportation.kif 2520-2520 帆船 是 水车 的 subclass
(subclass Submarine WaterVehicle) Mid-level-ontology.kif 17685-17685 潜艇 是 水车 的 subclass
(subclass TugBoat WaterVehicle) Transportation.kif 2514-2514 拖船 是 水车 的 subclass
(termFormat ChineseLanguage WaterVehicle "水车") domainEnglishFormat.kif 62507-62507
(termFormat ChineseTraditionalLanguage WaterVehicle "水車") domainEnglishFormat.kif 62506-62506
(termFormat EnglishLanguage WaterVehicle "water vehicle") domainEnglishFormat.kif 62505-62505

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


(domain ShipCrewFn 1 WaterVehicle) Transportation.kif 3327-3327 船员 的 1 数量 是 水车 的 instance
(domain flagState 1 WaterVehicle) Transportation.kif 1080-1080 国旗 的 1 数量 是 水车 的 instance
(domain ladenDraft 1 WaterVehicle) Transportation.kif 2709-2709 载货草案 的 1 数量 是 水车 的 instance
(domain vesselDeadWeightTonnage 1 WaterVehicle) Transportation.kif 2556-2556 船舶重量吨位 的 1 数量 是 水车 的 instance
(domain vesselDisplacement 1 WaterVehicle) Transportation.kif 2546-2546 船只位移 的 1 数量 是 水车 的 instance
(domain vesselGrossRegisteredTonnage 1 WaterVehicle) Transportation.kif 2567-2567 船舶总注册吨位 的 1 数量 是 水车 的 instance

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 3491-3499
(=>
    (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 2670-2676
(=>
    (and
        (subclass ?TYPE WaterVehicle)
        (instance ?EVENT
            (TransportationFn ?TYPE))
        (eventLocated ?EVENT ?PLACE))
    (instance ?PLACE WaterArea))		 Transportation.kif 2293-2298
(=>
    (instance ?CRAFT WaterVehicle)
    (capability WaterTransportation instrument ?CRAFT))		 Mid-level-ontology.kif 17779-17781
(=>
    (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 3480-3489

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


(=>
    (and
        (instance ?A Anchor)
        (instance ?ATTACH Attaching)
        (instrument ?ATTACH ?A)
        (patient ?ATTACH ?S))
    (instance ?S WaterVehicle))		 Mid-level-ontology.kif 4235-4241
(=>
    (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 4247-4252
(=>
    (instance ?M Mast)
    (exists (?W)
        (and
            (instance ?W WaterVehicle)
            (part ?M ?W))))		 Mid-level-ontology.kif 1498-1503
(=>
    (instance ?OE OutboardEngine)
    (hasPurpose ?OE
        (exists (?W)
            (and
                (instance ?W WaterVehicle)
                (meetsSpatially ?OE ?W)
                (orientation ?OE ?W Outside)))))		 Cars.kif 4335-4342
(=>
    (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 5047-5058
(=>
    (instance ?SERVICE WaterTransportationService)
    (exists (?WATER ?VEHICLE)
        (and
            (instance ?WATER WaterTransportation)
            (instance ?VEHICLE WaterVehicle)
            (instrument ?WATER ?VEHICLE)
            (subProcess ?WATER ?SERVICE))))		 Transportation.kif 3437-3444
(=>
    (instance ?TRANSPORT WaterTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT WaterVehicle)
            (instance ?AREA WaterArea)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?AREA))))		 Mid-level-ontology.kif 17770-17777
(=>
    (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 1247-1264


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