No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13091-13091 |
Clapping is a subclass of impacting |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 961-961 |
Crushing is a subclass of impacting |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1559-1559 |
Touch surface tap is a subclass of impacting |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1128-1128 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1473-1473 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 806-806 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 338-338 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 341-341 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2490-2490 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 758-758 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 343-343 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 377-377 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 827-827 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 342-342 |
|