No TPTP formula. May not be expressible in strict first order. | Merge.kif 13160-13160 | 陈述 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 450-450 | 终端攻击控制 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 502-502 | 终端指导 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2692-2692 | SITREP 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 882-882 | 注册 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 894-894 | 回答中 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 906-906 | 争论 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16123-16123 | 恳求 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16161-16161 | 作证 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29603-29603 | Apologizing 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29622-29622 | Confirming 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29674-29674 | Correcting 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13172-13172 | 不同意 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4180-4180 | Misdiagnosing 是 陈述 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 125-125 | ReachingAgreement 是 陈述 的 subclass |