No TPTP formula. May not be expressible in strict first order. | Merge.kif 16820-16820 | Plano e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1543-1543 | OperationPlan e' uma sub-classe de Plano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16610-16610 | EducationalProgram e' uma sub-classe de Plano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16639-16639 | SportsPlay e' uma sub-classe de Plano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21529-21529 | Diet e' uma sub-classe de Plano |
![]() |