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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vehicle
Vehicle(vehicle)
boneshaker, camper, camping_bus, craft, motor_home, picket, roll-on_roll-off, self-propelled_vehicle, skibob, vehicle, welcome_wagon

appearance as argument number 1
-------------------------


s__documentation(s__Vehicle,s__ChineseLanguage,'"VehicleTransportationDevice 子类别,它通过自 身从一处移动往别处,同时也把乘客或货物和它一同从一处运载到另外一处,如:汽车、卡车、渡轮和飞机。它和通过移动 部件把东西从一处带到另外一处的设备如:导管、自动扶梯或超市用的结账运输带对比,而不需把设备从源处移到目的地。"')

chinese_format.kif 3625-3627
s__documentation(s__Vehicle,s__EnglishLanguage,'"Vehicle is the subclass of TransportationDevices that transport passengers or goods from one place to another by moving from one place to the other with them, e.g., cars, trucks, ferries, and airplanes. Contrast with devices such as pipelines, escalators, or supermarket checkout belts, which carry items from one place to another by means of a moving part, without the device removing from the origin to the destination."')

Merge.kif 15306-15313
s__externalImage(s__Vehicle,'"http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG"')

pictureList.kif 6958-6958
s__externalImage(s__Vehicle,'"http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg"')

pictureList.kif 8215-8215
s__externalImage(s__Vehicle,'"http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG"')

pictureList-ImageNet.kif 589-589
s__instance(s__Vehicle,s__SetOrClass)

s__subclass(s__Vehicle,s__TransportationDevice)

s__instance(s__TransportationDevice,s__SetOrClass)

Merge.kif 15305-15305 Vehicle is a subclass of transportation device

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


s__instance(s__AgentPoweredVehicle,s__SetOrClass)

s__instance(s__Vehicle,s__SetOrClass)

s__subclass(s__AgentPoweredVehicle,s__Vehicle)

Transportation.kif 1819-1819 Agent powered vehicle is a subclass of vehicle
s__subclass(s__Aircraft,s__Vehicle)

s__instance(s__Aircraft,s__SetOrClass)

s__instance(s__Vehicle,s__SetOrClass)

Mid-level-ontology.kif 16890-16890 Aircraft is a subclass of vehicle
s__instance(s__ArmoredVehicle,s__SetOrClass)

s__subclass(s__ArmoredVehicle,s__Vehicle)

s__instance(s__Vehicle,s__SetOrClass)

MilitaryDevices.kif 1596-1596 Armored vehicle is a subclass of vehicle
s__subclass(s__CargoVehicle,s__Vehicle)

s__instance(s__CargoVehicle,s__SetOrClass)

s__instance(s__Vehicle,s__SetOrClass)

Transportation.kif 1768-1768 Cargo vehicle is a subclass of vehicle
s__instance(s__DamagedVehicle,s__SetOrClass)

s__instance(s__Vehicle,s__SetOrClass)

s__subclass(s__DamagedVehicle,s__Vehicle)

Mid-level-ontology.kif 29139-29139 DamagedVehicle is a subclass of vehicle
s__instance(s__LandVehicle,s__SetOrClass)

s__instance(s__Vehicle,s__SetOrClass)

s__subclass(s__LandVehicle,s__Vehicle)

Mid-level-ontology.kif 3400-3400 Land vehicle is a subclass of vehicle
s__instance(s__MilitaryVehicle,s__SetOrClass)

s__subclass(s__MilitaryVehicle,s__Vehicle)

s__instance(s__Vehicle,s__SetOrClass)

Military.kif 131-131 Military vehicle is a subclass of vehicle
s__subclass(s__PassengerVehicle,s__Vehicle)

s__instance(s__Vehicle,s__SetOrClass)

s__instance(s__PassengerVehicle,s__SetOrClass)

Transportation.kif 1750-1750 Passenger vehicle is a subclass of vehicle
s__subclass(s__PoweredVehicle,s__Vehicle)

s__instance(s__Vehicle,s__SetOrClass)

s__instance(s__PoweredVehicle,s__SetOrClass)

Transportation.kif 1801-1801 Powered vehicle is a subclass of vehicle
s__instance(s__Vehicle,s__SetOrClass)

s__instance(s__RecreationalVehicle,s__SetOrClass)

s__subclass(s__RecreationalVehicle,s__Vehicle)

Mid-level-ontology.kif 24800-24800 Camper is a subclass of vehicle
s__subclass(s__Spacecraft,s__Vehicle)

s__instance(s__Spacecraft,s__SetOrClass)

s__instance(s__Vehicle,s__SetOrClass)

Mid-level-ontology.kif 16784-16784 Spacecraft is a subclass of vehicle
s__instance(s__UnpoweredVehicle,s__SetOrClass)

s__instance(s__Vehicle,s__SetOrClass)

s__subclass(s__UnpoweredVehicle,s__Vehicle)

Transportation.kif 1791-1791 Unpowered vehicle is a subclass of vehicle
s__subclass(s__WaterVehicle,s__Vehicle)

s__instance(s__WaterVehicle,s__SetOrClass)

s__instance(s__Vehicle,s__SetOrClass)

Mid-level-ontology.kif 3418-3418 Water vehicle is a subclass of vehicle
s__termFormat(s__ChineseLanguage,s__Vehicle,'"车辆"')

domainEnglishFormat.kif 61313-61313
s__termFormat(s__ChineseTraditionalLanguage,s__Vehicle,'"車輛"')

domainEnglishFormat.kif 61312-61312
s__termFormat(s__EnglishLanguage,s__Vehicle,'"vehicle"')

domainEnglishFormat.kif 61311-61311
s__typicalPart(s__Alternator,s__Vehicle)

Cars.kif 1211-1211 A alternator is typically a part of a vehicle
s__typicallyContainsPart(s__Alternator,s__Vehicle)

Cars.kif 1212-1212 A vehicle typically has a part alternator

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


s__domain(s__TripFn__m,n__1,s__Vehicle)

Transportation.kif 1583-1583 The number 1 argument of trip is an instance of vehicle
s__domain(s__maximumPayloadCapacity__m,n__1,s__Vehicle)

MilitaryDevices.kif 81-81 The number 1 argument of maximum payload capacity is an instance of vehicle
s__domain(s__maximumPayloadHeightWidth__m,n__1,s__Vehicle)

MilitaryDevices.kif 109-109 The number 1 argument of maximum payload height width is an instance of vehicle
s__domain(s__onboard__m,n__2,s__Vehicle)

Mid-level-ontology.kif 16500-16500 The number 2 argument of onboard is an instance of vehicle
s__domain(s__topSpeed__m,n__1,s__Vehicle)

Transportation.kif 1718-1718 The number 1 argument of topSpeed is an instance of vehicle

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3351-3361
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
( ! [V__DRIVING,V__VEHICLE,V__TRANSPORT] :
   (((s__instance(V__DRIVING,s__Driving) &
         s__subProcess(V__TRANSPORT,V__DRIVING)
       &
       s__instance(V__TRANSPORT,s__Transportation) &
       s__instance(V__VEHICLE,s__Vehicle) &
       s__patient(V__DRIVING,V__VEHICLE))
   =>
   (s__conveyance(V__TRANSPORT,V__VEHICLE)))
)
)

Mid-level-ontology.kif 22681-22688
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2973
No TPTP formula. May not be expressible in strict first order. Cars.kif 567-580
No TPTP formula. May not be expressible in strict first order. Merge.kif 15323-15329
No TPTP formula. May not be expressible in strict first order. Merge.kif 15315-15321
( ! [V__WEAPON,V__MV] :
   (((s__instance(V__WEAPON,s__Weapon) &
         s__part(V__WEAPON,V__MV)
       &
       s__instance(V__MV,s__Vehicle))
     =>
     (s__instance(V__MV,s__MilitaryVehicle)))
   )
)

MilitaryDevices.kif 61-66
( ! [V__V,V__PROC,V__PASS] :
   (((s__instance(V__PROC,s__Transfer) &
         s__instance(V__PASS,s__Agent))
       =>
       (((s__passenger(V__PROC,V__PASS)
           &
           s__instance(V__V,s__Vehicle) &
           s__instrument(V__PROC,V__V))
       =>
       (~(( ? [V__G] :
             ((s__during(s__WhenFn(V__G)
              ,s__WhenFn(V__PROC))
           &
           s__instance(V__G,s__Guiding) &
           s__agent(V__G,V__PASS)
         &
         s__instrument(V__G,V__V)))))))))
)
)

Mid-level-ontology.kif 29819-29830

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


( ! [V__DV] :
   (((s__instance(V__DV,s__DamagedVehicle) =>
         (s__instance(V__DV,s__Vehicle) &
           s__attribute(V__DV,s__DeviceDamaged)))
       &
       ((s__instance(V__DV,s__Vehicle) &
           s__attribute(V__DV,s__DeviceDamaged))
         =>
         s__instance(V__DV,s__DamagedVehicle)))
     )
   )

Mid-level-ontology.kif 29141-29145 An object is an instance of DamagedVehicle if and only if the object is an instance of vehicle and DeviceDamaged is an attribute of the object
( ! [V__B,V__V] :
   (((s__instance(V__B,s__Boarding) &
         s__patient(V__B,V__V))
     =>
     (s__instance(V__V,s__Vehicle)))
   )
)

Mid-level-ontology.kif 16478-16482
( ! [V__B,V__VEHICLE] :
   (((s__instance(V__B,s__Deboarding) &
         s__patient(V__B,V__VEHICLE))
     =>
     (s__instance(V__VEHICLE,s__Vehicle)))
   )
)

Mid-level-ontology.kif 16519-16523
( ! [V__B,V__C] :
   (((s__instance(V__C,s__CavalryUnit) &
         s__instance(V__B,s__Battle) &
         s__agent(V__B,V__C))
     =>
     (( ? [V__P, V__V, V__T] :
         ((s__instance(V__P,s__Agent) &
             (s__attribute(V__P,s__Soldier) &
               s__member(V__P,V__C)
             &
             s__instance(V__T,s__Transportation) &
             s__agent(V__T,V__P)
           &
           s__instance(V__V,s__Vehicle) &
           s__patient(V__T,V__V)
         &
         s__during(V__T,V__B)))))))
)
)

Mid-level-ontology.kif 7966-7979
( ! [V__ITEM,V__LISTING] :
   (((s__instance(V__ITEM,s__Object) &
         s__instance(V__LISTING,s__WebListing) &
         s__attribute(V__LISTING,s__ForSaleByOwner) &
         s__patient(V__LISTING,V__ITEM))
     =>
     (s__instance(V__ITEM,s__Vehicle)))
   )
)

UXExperimentalTerms.kif 464-470
No TPTP formula. May not be expressible in strict first order. naics.kif 8535-8556
( ! [V__T,V__W] :
   (((s__instance(V__W,s__Wagon) &
         s__instance(V__T,s__Transportation) &
         s__instrument(V__T,V__W))
     =>
     (( ? [V__P] :
         ((s__instance(V__T,s__Pulling) &
             s__agent(V__T,V__P)
           &
           s__patient(V__T,V__W)
         &
         (s__instance(V__P,s__DomesticAnimal) |
           s__instance(V__P,s__Vehicle)))))))
)
)

Transportation.kif 1860-1872
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 132-141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21457-21469
( ! [V__C] :
   ((s__instance(V__C,s__VehicleController) =>
       (( ? [V__V] :
           ((s__instance(V__V,s__Vehicle) &
               s__part(V__C,V__V))))))
   )
)

Mid-level-ontology.kif 3324-3329
( ! [V__DRIVE] :
   ((s__instance(V__DRIVE,s__Driving) =>
       (( ? [V__VEHICLE] :
           ((s__instance(V__VEHICLE,s__Vehicle) &
               s__patient(V__DRIVE,V__VEHICLE))))))
   )
)

Merge.kif 11125-11130
( ! [V__FLEET] :
   ((s__instance(V__FLEET,s__Fleet) =>
       (s__memberType(V__FLEET,s__Vehicle)))
     )
   )

Mid-level-ontology.kif 3451-3453
( ! [V__H] :
   ((s__instance(V__H,s__Hijacking) =>
       (( ? [V__V] :
           ((s__instance(V__V,s__Vehicle) &
               s__patient(V__H,V__V))))))
   )
)

Mid-level-ontology.kif 21014-21019
( ! [V__L] :
   ((s__instance(V__L,s__Headlight) =>
       (( ? [V__V] :
           ((s__instance(V__V,s__Vehicle) &
               s__part(V__L,s__FrontFn(V__V)))))))
)
)

Mid-level-ontology.kif 3012-3017
( ! [V__L] :
   ((s__instance(V__L,s__Taillight) =>
       (( ? [V__V] :
           ((s__instance(V__V,s__Vehicle) &
               s__part(V__L,s__BackFn(V__V)))))))
)
)

Mid-level-ontology.kif 3023-3028
( ! [V__L] :
   ((s__instance(V__L,s__VehicleLight) =>
       (( ? [V__V] :
           ((s__instance(V__V,s__Vehicle) &
               s__part(V__L,V__V))))))
   )
)

Mid-level-ontology.kif 3001-3006
No TPTP formula. May not be expressible in strict first order. Cars.kif 5032-5043
( ! [V__SHIP] :
   ((s__instance(V__SHIP,s__VehicleCarrierShip) =>
       (s__cargoType(V__SHIP,s__Vehicle)))
     )
   )

Transportation.kif 2354-2356
( ! [V__SVC] :
   ((s__instance(V__SVC,s__TransportationService) =>
       (( ? [V__VEHICLE, V__AGENT, V__TRANS, V__CUST] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__CUST,s__CognitiveAgent) &
               (s__agent(V__SVC,V__AGENT)
               &
               s__possesses(V__AGENT,V__VEHICLE)
             &
             s__customer(V__CUST,V__AGENT)
           &
           s__instance(V__VEHICLE,s__Vehicle) &
           s__instance(V__TRANS,s__Transportation) &
           s__agent(V__TRANS,V__AGENT)
         &
         s__patient(V__TRANS,V__CUST)
       &
       s__instrument(V__TRANS,V__VEHICLE)
     &
     s__subProcess(V__TRANS,V__SVC)))))))
)
)

Transportation.kif 3347-3359
No TPTP formula. May not be expressible in strict first order. Cars.kif 3381-3387
( ! [V__W] :
   ((s__instance(V__W,s__VehicleWindow) =>
       (( ? [V__V] :
           ((s__instance(V__V,s__Vehicle) &
               s__part(V__W,V__V))))))
   )
)

Mid-level-ontology.kif 3381-3386
( ! [V__W] :
   ((s__instance(V__W,s__Window) =>
       (( ? [V__A] :
           ((s__part(V__W,V__A)
             &
             (s__instance(V__A,s__Building) |
               s__instance(V__A,s__Room) |
               s__instance(V__A,s__Vehicle)))))))
   )
)

Mid-level-ontology.kif 14340-14348
No TPTP formula. May not be expressible in strict first order. Cars.kif 3679-3708


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