Ambulating(ambulating)![]() | ![]() | canter, crawl, creep, formicate, gallop, pace, prance, scramble, sway, swing |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3006-3007 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11266-11268 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1769-1770 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1026-1026 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11264-11264 | Ambulating is exhaustively partitioned into walking and running |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11261-11261 | Ambulating is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11262-11262 | Ambulating is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11263-11263 | Ambulating is a subclass of translocation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11275-11275 | Running is a subclass of ambulating |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11270-11270 | Walking is a subclass of ambulating |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7147-7147 | Walking is a subclass of ambulating |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7146-7146 | Walking is a subclass of ambulating |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7145-7145 | Walking is a subclass of ambulating |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 988-998 |
|
![]() |
![]() |