| 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 |
|
|
|
|
|