Ducking(ducking) | ![]() | duck |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14452-14453 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14450-14450 | Ducking is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14449-14449 | Ducking is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14451-14451 | Ducking is a subclass of motion downward |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20667-20667 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20666-20666 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20665-20665 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14455-14462 |
|
![]() |
![]() |