Driving(driving)![]() ![]() | ![]() | channelise, channelize, coach, crab, cruise, direct, drive, drive_around, driving, guide, head, helm, maneuver, manoeuver, manoeuvre, motoring, mush, navigate, point, port, pull_over, steer, take, test_drive, three-point_turn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3068-3069 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11765-11767 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1836-1837 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5967-5967 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6401-6401 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11762-11762 | Driving is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11763-11763 | Driving is a subclass of transportation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19348-19348 | Flying is a subclass of driving |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1131-1131 | Flying is a subclass of driving |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1479-1479 | Flying is a subclass of driving |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 809-809 | Flying is a subclass of driving |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2493-2493 | Flying is a subclass of driving |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 761-761 | Flying is a subclass of driving |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 830-830 | Flying is a subclass of driving |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23989-23997 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18269-18280 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 132-134 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3839-3845 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23540-23545 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4810-4820 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4430-4441 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25190-25195 |
|
![]() |
![]() |