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 2086-2086 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 4042-4043
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 4041-4041 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 1882-1882 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 1875-1875 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 1793-1793 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 1817-1817 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 1810-1810 Trailer is a subclass of road vehicle
s__termFormat(s__ChineseLanguage,s__RoadVehicle,'"公路车辆"')

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

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

domainEnglishFormat.kif 50094-50094

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 21491-21499
No TPTP formula. May not be expressible in strict first order. Cars.kif 893-906
( ! [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 21462-21467
( ! [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 4072-4081

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14438-14449
( ! [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 21469-21473
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13162-13168
No TPTP formula. May not be expressible in strict first order. Cars.kif 4426-4436
( ! [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 12894-12899
( ! [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 3991-3996


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