No TPTP formula. May not be expressible in strict first order. | Merge.kif 16798-16798 | 计划 是 程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1543-1543 | 运作计划 是 计划 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16611-16611 | 教育计划 是 计划 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16640-16640 | 体育比赛 是 计划 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21530-21530 | 饮食 是 计划 的 subclass |