| 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 | Speaking est une sous-classe de LinguisticCommunication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 827-827 | Speaking est une sous-classe de Vocalizing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | EmotionalSpeakingBehavior est une sous-classe de Speaking |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15871-15871 | Lecture est une sous-classe de Speaking |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15916-15916 | Reciting est une sous-classe de Speaking |
| 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 |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30259-30267 | Mute est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de Speaking temps d'existence de processus prend place pendant interval temporel processus est un agent de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15886-15899 |
|
| 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 |
|
|
|
|