No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21530-21530 |
Diet is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16611-16611 |
Educational program is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1543-1543 |
Operation plan is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16640-16640 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1234-1234 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1689-1689 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 912-912 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 445-445 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 448-448 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2596-2596 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 864-864 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 450-450 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 484-484 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 933-933 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 449-449 |
|