No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13145-13145 | Ducking is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13146-13146 | Ducking is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13147-13147 | Ducking is a subclass of motion downward |