No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 826-826 | Speaking is a subclass of linguistic communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 827-827 | Speaking is a subclass of vocalizing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15872-15872 | Lecture is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15917-15917 | Reciting is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | Emotional speaking behavior is a subclass of speaking |