No TPTP formula. May not be expressible in strict first order. | Merge.kif 16798-16798 | Plan is a subclass of procedure |
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 16611-16611 | Educational program 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. | Mid-level-ontology.kif 21530-21530 | Diet is a subclass of plan |