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 |
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. | emotion.kif 86-86 | EmotionalSpeakingBehavior e' uma sub-classe de Speaking |