No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23147-23147 |
Diet is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17998-17998 |
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 18027-18027 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1234-1234 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1689-1689 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 912-912 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 445-445 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 448-448 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2596-2596 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 864-864 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 450-450 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 484-484 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 743-743 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 933-933 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 449-449 |
Sports play is a subclass of plan |