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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RoadVehicle
RoadVehicle(road vehicle)
Hum-Vee, Humvee, bus, heap, jalopy

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


s__disjoint(s__RoadVehicle,s__RollingStock)

Transportation.kif 2104-2104 Road vehicle is disjoint from rolling stock
s__documentation(s__RoadVehicle,s__EnglishLanguage,'"The class of LandVehicles that are not RollingStock."')

Mid-level-ontology.kif 3443-3444
s__externalImage(s__RoadVehicle,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 15/ Late_model_Ford_Model_T.jpg/ 180px-Late_model_Ford_Model_T.jpg"')

pictureList.kif 1240-1240
s__instance(s__LandVehicle,s__SetOrClass)

s__instance(s__RoadVehicle,s__SetOrClass)

s__subclass(s__RoadVehicle,s__LandVehicle)

Mid-level-ontology.kif 3442-3442 Road vehicle is a subclass of land vehicle

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


s__industryProductType(s__MotorVehicleManufacturing,s__RoadVehicle)

Economy.kif 1822-1822 Road vehicle is an industry product type of motor vehicle manufacturing
s__instance(s__RoadVehicle,s__SetOrClass)

s__instance(s__EmergencyRoadVehicle,s__SetOrClass)

s__subclass(s__EmergencyRoadVehicle,s__RoadVehicle)

Transportation.kif 1900-1900 Emergency road vehicle is a subclass of road vehicle
s__instance(s__RoadVehicle,s__SetOrClass)

s__subclass(s__MilitaryTank,s__RoadVehicle)

s__instance(s__MilitaryTank,s__SetOrClass)

Military.kif 146-146 Military tank is a subclass of road vehicle
s__subclass(s__MotorScooter,s__RoadVehicle)

s__instance(s__RoadVehicle,s__SetOrClass)

s__instance(s__MotorScooter,s__SetOrClass)

Transportation.kif 1893-1893 Motor scooter is a subclass of road vehicle
s__instance(s__RoadVehicle,s__SetOrClass)

s__instance(s__SelfPoweredRoadVehicle,s__SetOrClass)

s__subclass(s__SelfPoweredRoadVehicle,s__RoadVehicle)

Transportation.kif 1811-1811 Self powered road vehicle is a subclass of road vehicle
s__instance(s__TractorTrailer,s__SetOrClass)

s__subclass(s__TractorTrailer,s__RoadVehicle)

s__instance(s__RoadVehicle,s__SetOrClass)

Transportation.kif 1835-1835 Tractor trailer is a subclass of road vehicle
s__subclass(s__Trailer,s__RoadVehicle)

s__instance(s__RoadVehicle,s__SetOrClass)

s__instance(s__Trailer,s__SetOrClass)

Transportation.kif 1828-1828 Trailer is a subclass of road vehicle
s__termFormat(s__ChineseLanguage,s__RoadVehicle,'"公路车辆"')

domainEnglishFormat.kif 50181-50181
s__termFormat(s__ChineseTraditionalLanguage,s__RoadVehicle,'"公路車輛"')

domainEnglishFormat.kif 50180-50180
s__termFormat(s__EnglishLanguage,s__RoadVehicle,'"road vehicle"')

domainEnglishFormat.kif 50179-50179

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


( ! [V__VEHICLE,V__DRIVE] :
   (((s__instance(V__DRIVE,s__Driving) &
         s__patient(V__DRIVE,V__VEHICLE)
       &
       s__instance(V__VEHICLE,s__RoadVehicle))
     =>
     (( ? [V__TRANSPORT] :
         ((s__instance(V__TRANSPORT,s__TransportViaRoadVehicle) &
             s__subProcess(V__TRANSPORT,V__DRIVE))))))
)
)

Mid-level-ontology.kif 22205-22213
No TPTP formula. May not be expressible in strict first order. Cars.kif 902-915
( ! [V__VEHICLE,V__TRANSPORT] :
   (((s__instance(V__TRANSPORT,s__Transportation) &
         s__instrument(V__TRANSPORT,V__VEHICLE)
       &
       s__instance(V__VEHICLE,s__RoadVehicle))
     =>
     (s__instance(V__TRANSPORT,s__TransportViaRoadVehicle)))
   )
)

Mid-level-ontology.kif 22176-22181
( ! [V__V,V__W] :
   (((s__instance(V__W,s__VehicleWheel) &
         s__instance(V__V,s__RoadVehicle) &
         s__part(V__W,V__V))
     =>
     (( ? [V__A] :
         ((s__instance(V__A,s__Axle) &
             s__component(V__A,V__V)
           &
           s__connected(V__W,V__A))))))
)
)

Mid-level-ontology.kif 3472-3481

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15533-15544
( ! [V__VEHICLE,V__TRANSPORT] :
   ((s__instance(V__VEHICLE,s__TransportationDevice) =>
       (((s__instance(V__TRANSPORT,s__TransportViaRoadVehicle) &
             s__conveyance(V__TRANSPORT,V__VEHICLE))
         =>
         (s__instance(V__VEHICLE,s__RoadVehicle)))))
   )
)

Mid-level-ontology.kif 22183-22187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14193-14199
No TPTP formula. May not be expressible in strict first order. Cars.kif 4456-4466
( ! [V__W] :
   ((s__instance(V__W,s__RearWindow) =>
       (( ? [V__A] :
           ((s__instance(V__A,s__RoadVehicle) &
               s__part(V__W,s__BackFn(V__A)))))))
)
)

Mid-level-ontology.kif 13920-13925
( ! [V__W] :
   ((s__instance(V__W,s__Windshield) =>
       (( ? [V__A] :
           ((s__instance(V__A,s__RoadVehicle) &
               s__part(V__W,s__FrontFn(V__A)))))))
)
)

Mid-level-ontology.kif 3392-3397


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