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 |
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. | emotion.kif 86-86 | EmotionalSpeakingBehavior est une sous-classe de Speaking |