No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11571-11571 |
Translocation is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3004-3004 |
Trip is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 485-485 |
Two stroke compression is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 457-457 |
Two stroke intake is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 502-502 |
Two stroke transfer is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11219-11219 |
Weather process is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1113-1113 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1443-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 791-791 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 323-323 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 326-326 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2475-2475 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 743-743 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 362-362 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 812-812 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 327-327 |
|