|
|
   Speaking
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3004-3005 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 824-825 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1767-1768 | |
| 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. | Mid-level-ontology.kif 827-827 | 说话 是 发声 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | EmotionalSpeakingBehavior 是 说话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15872-15872 | 演讲 是 说话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15917-15917 | 背诵 是 说话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54474-54474 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54473-54473 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54472-54472 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25748-25761 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6447-6459 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1664-1676 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30271-30279 | Mute 是 施事体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程 是 说话 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 施事体 是 那个 过程 的 agent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15887-15900 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 727-734 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2973-2981 |
|
|
|