No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 557-557 |
Somersaulting is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19921-19921 |
Standing up is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 482-482 |
Stepping is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6586-6586 |
Swallowing is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11190-11190 |
Swimming is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17078-17078 |
Throwing is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19979-19979 |
Trembling is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1114-1114 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1445-1445 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 792-792 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 324-324 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 327-327 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2476-2476 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 744-744 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 363-363 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 813-813 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 328-328 |
|