No TPTP formula. May not be expressible in strict first order. |
Food.kif 963-963 |
Crushing is a subclass of shape change |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3165-3165 |
Folding is a subclass of shape change |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1175-1175 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1567-1567 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 853-853 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 385-385 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 388-388 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2537-2537 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 805-805 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 424-424 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 874-874 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 389-389 |
|