No TPTP formula. May not be expressible in strict first order. | Merge.kif 16820-16820 | 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 16610-16610 | Educational program is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16639-16639 | Sports play is a subclass of plan |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21529-21529 | Diet is a subclass of plan |
![]() |