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 e' uma sub-classe de LinguisticCommunication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 827-827 | Speaking e' uma sub-classe de Vocalizing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | EmotionalSpeakingBehavior e' uma sub-classe de Speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15871-15871 | Lecture e' uma sub-classe de Speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15916-15916 | Reciting e' uma sub-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 e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Speaking tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente 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 |
|