No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13243-13243 |
承诺 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 829-829 |
相应 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19702-19702 |
辩论 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13263-13263 |
声明 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13199-13199 |
指令g 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29643-29643 |
Elaborating 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13133-13133 |
用语言表达 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19709-19709 |
谈判 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29657-29657 |
Restating 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 826-826 |
说话 是 语言交流 的 subclass |
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. |
Merge.kif 13194-13194 |
假如 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 918-918 |
说谎 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 780-780 |
书面沟通 是 语言交流 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34547-34547 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34546-34546 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34545-34545 |
|