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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransportViaRoadVehicle
TransportViaRoadVehicle(transport via a road vehicle)bus, cab, cycle, drive, hitch, hitchhike, joyride, motor, motorbike, motorcycle, pick_up, taxi, thumb, tool, tool_around, transport_via_a_road_vehicle

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


s__documentation(s__TransportViaRoadVehicle,s__EnglishLanguage,'TransportViaRoadVehicle is the class of Transportation events in which the instrument is an instance of RoadVehicle.')

Mid-level-ontology.kif 15383-15386
s__instance(s__LandTransportation,s__SetOrClass)

s__subclass(s__TransportViaRoadVehicle,s__LandTransportation)

s__instance(s__TransportViaRoadVehicle,s__SetOrClass)

Mid-level-ontology.kif 15382-15382 Transport via a road vehicle is a subclass of land transportation
s__instance(s__Transportation,s__SetOrClass)

s__subclass(s__TransportViaRoadVehicle,s__Transportation)

s__instance(s__TransportViaRoadVehicle,s__SetOrClass)

Mid-level-ontology.kif 15381-15381 Transport via a road vehicle is a subclass of transportation

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


s__termFormat(s__EnglishLanguage,s__TransportViaRoadVehicle,'transport via a road vehicle')

domainEnglishFormat.kif 10264-10264 "transport via a road vehicle" is the printable form of transport via a road vehicle in english language

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


( ! [V__VEHICLE,V__TRANSPORT] :
   (s__instance(V__VEHICLE,s__TransportationDevice)s__=>((s__instance(V__TRANSPORT,s__TransportViaRoadVehicle)s__and__ms__conveyance(V__TRANSPORT,V__VEHICLE))
    s__=>s__instance(V__VEHICLE,s__RoadVehicle)))
)

Mid-level-ontology.kif 21456-21460
( ! [V__TRANSPORT] :
   (s__instance(V__TRANSPORT,s__TransportViaRoadVehicle)s__=>(s__exists__m[V__DRIVING] :
       (s__instance(V__DRIVING,s__Driving)s__and__ms__subProcess(V__TRANSPORT,V__DRIVING))))
)

Mid-level-ontology.kif 21462-21467

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


( ! [V__DRIVE,V__VEHICLE] :
   ((s__instance(V__DRIVE,s__Driving)s__and__ms__patient(V__DRIVE,V__VEHICLE)
    s__and__ms__instance(V__VEHICLE,s__RoadVehicle))
  s__=>(s__exists__m[V__TRANSPORT] :
     (s__instance(V__TRANSPORT,s__TransportViaRoadVehicle)s__and__ms__subProcess(V__TRANSPORT,V__DRIVE))))
)

Mid-level-ontology.kif 21478-21486
( ! [V__TRANSPORT,V__VEHICLE] :
   ((s__instance(V__TRANSPORT,s__Transportation)s__and__ms__instrument(V__TRANSPORT,V__VEHICLE)
    s__and__ms__instance(V__VEHICLE,s__RoadVehicle))
  s__=>s__instance(V__TRANSPORT,s__TransportViaRoadVehicle))
)

Mid-level-ontology.kif 21449-21454


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