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 15872-15872 | Lecture e' uma sub-classe de Speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15917-15917 | 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 30271-30279 | 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 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 |
|