Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TransportViaRoadVehicle(transport via a road vehicle) |  | bus, cab, cycle, drive, hitch, hitchhike, joyride, motor, motorbike, motorcycle, pick_up, taxi, thumb, tool, tool_around |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TransportViaRoadVehicle "transport via a road vehicle") | domainEnglishFormat.kif 59011-59011 | |
| (termFormat ChineseTraditionalLanguage TransportViaRoadVehicle "通過公路車輛運輸") | domainEnglishFormat.kif 59012-59012 | |
| (termFormat ChineseLanguage TransportViaRoadVehicle "通过公路车辆运输") | domainEnglishFormat.kif 59013-59013 |
| antecedent |
|
|
| (=> (and (instance ?TRANSPORT TransportViaRoadVehicle) (conveyance ?TRANSPORT ?VEHICLE)) (instance ?VEHICLE RoadVehicle)) |
Mid-level-ontology.kif 25861-25865 | If X is an instance of transport via a road vehicle and Y is a conveyance during X, then Y is an instance of road vehicle |
| (=> (instance ?TRANSPORT TransportViaRoadVehicle) (exists (?DRIVING) (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING)))) |
Mid-level-ontology.kif 25867-25872 | If X is an instance of transport via a road vehicle, then there exists Y such that Y is an instance of driving and X is a subprocess of Y |
| consequent |
|
|
| (=> (and (instance ?TRANSPORT Transportation) (instrument ?TRANSPORT ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (instance ?TRANSPORT TransportViaRoadVehicle)) |
Mid-level-ontology.kif 25854-25859 | If X is an instance of transportation, Y is an instrument for X, and Y is an instance of road vehicle, then X is an instance of transport via a road vehicle |
| (=> (and (instance ?DRIVE Driving) (patient ?DRIVE ?VEHICLE) (instance ?VEHICLE RoadVehicle)) (exists (?TRANSPORT) (and (instance ?TRANSPORT TransportViaRoadVehicle) (subProcess ?TRANSPORT ?DRIVE)))) |
Mid-level-ontology.kif 25883-25891 | If X is an instance of driving, Y is a patient of X, and Y is an instance of road vehicle, then there exists Z such that Z is an instance of transport via a road vehicle and Z is a subprocess of X |
|