No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19168-19168 |
Diet is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14211-14211 |
Educational program is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1524-1524 |
Operation plan is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14240-14240 |
Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1234-1234 |
"计划" is the printable form of plan in ChineseLanguage |
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1694-1694 |
"plan" is the printable form of plan in english language |