Communication
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3239-3242 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13038-13043 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6304-6304 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13036-13036 | 沟通 详尽无遗地 partition 成 陈述, 假如, 指令g, 承诺, 表示, 和 声明 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2944-2944 | 沟通 和 通讯设备 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13037-13037 | 沟通 和 内容制作 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13035-13035 | 沟通 是 内容承载过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13034-13034 | 沟通 是 社交 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27009-27009 | ArtifactMediatedCommunication 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13056-13056 | 传播 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13108-13108 | 表示 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13091-13091 | 手势 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 218-218 | InPersonCommunication 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1016-1016 | 指示 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13126-13126 | 语言交流 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2959-2959 | 致电 是 沟通 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1195-1195 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1607-1607 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 873-873 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 406-406 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 409-409 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2557-2557 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 825-825 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 411-411 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 445-445 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 894-894 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 410-410 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 577-586 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3025-3032 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13045-13054 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1347-1358 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25093-25114 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6427-6431 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7585-7592 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2946-2948 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26399-26405 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13289-13300 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4235-4249 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27047-27069 |
|