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 11454-11456 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5969-5969 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6403-6403 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11451-11451 | Driving is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11452-11452 | 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 17213-17213 | Flying is a subclass of driving |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1131-1131 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1479-1479 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21828-21836 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16325-16336 |
|
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 128-130 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3352-3358 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21378-21383 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4752-4762 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4372-4383 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22996-23001 |
|
![]() |
![]() |