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 14783-14790
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 8216-8216
s__externalImage(s__Vehicle,'"http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG"')

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

s__subclass(s__Vehicle,s__TransportationDevice)

s__instance(s__TransportationDevice,s__SetOrClass)

Merge.kif 14782-14782 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 1801-1801 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 15409-15409 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 1750-1750 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 28256-28256 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 3998-3998 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 1732-1732 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 1783-1783 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 23692-23692 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 15303-15303 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 1773-1773 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 4015-4015 Water vehicle is a subclass of vehicle
s__termFormat(s__ChineseLanguage,s__Vehicle,'"车辆"')

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

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

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

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

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

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


s__domain(s__TripFn__m,n__1,s__Vehicle)

Transportation.kif 1568-1568 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 14962-14962 The number 2 argument of onboard is an instance of vehicle
s__domain(s__topSpeed__m,n__1,s__Vehicle)

Transportation.kif 1703-1703 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 3949-3959
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 21517-21524
No TPTP formula. May not be expressible in strict first order. Cars.kif 2934-2948
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 14800-14806
No TPTP formula. May not be expressible in strict first order. Merge.kif 14792-14798
( ! [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

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 28258-28262 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 14940-14944
( ! [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 14981-14985
( ! [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 8113-8126
( ! [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 461-467
No TPTP formula. May not be expressible in strict first order. naics.kif 8451-8472
( ! [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 1842-1854
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 20181-20193
( ! [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 3922-3927
( ! [V__DRIVE] :
   (s__instance(V__DRIVE,s__Driving) =>
     ( ? [V__VEHICLE] :
       ((s__instance(V__VEHICLE,s__Vehicle) &
           s__patient(V__DRIVE,V__VEHICLE))))
   )
)

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

Mid-level-ontology.kif 4049-4051
( ! [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 19688-19693
( ! [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 3615-3620
( ! [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 3626-3631
( ! [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 3604-3609
No TPTP formula. May not be expressible in strict first order. Cars.kif 5009-5020
( ! [V__SHIP] :
   (s__instance(V__SHIP,s__VehicleCarrierShip) =>
     s__cargoType(V__SHIP,s__Vehicle) )
   )

Transportation.kif 2336-2338
( ! [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 3318-3330
No TPTP formula. May not be expressible in strict first order. Cars.kif 3356-3362
( ! [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 3979-3984
( ! [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 12865-12873
No TPTP formula. May not be expressible in strict first order. Cars.kif 3649-3678


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners