No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3377-3377 | Vehicle controller is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3397-3397 | Steering wheel is a subclass of vehicle controller |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3405-3405 | Vehicle brake is a subclass of vehicle controller |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3421-3421 | Vehicle throttle is a subclass of vehicle controller |