Speaking(speaking) | ![]() | accost, address, advocate, articulate, blunder, blunder_out, blurt, blurt_out, bumble, call_out, carry_on, clamor, clamour, come_up_to, continue, conversation, converse, dialog, dialogue, discourse, discuss, drop, duologue, echo, ejaculate, enounce, enunciate, falter, gab, go_on, harangue, hash_out, heart-to-heart, language, maunder, mouth, mumble, murmur, mussitate, mutter, nasalise, nasalize, oral, oral_communication, orthoepy, peep, phonate, preach, proceed, pronounce... |
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 817-818 | |
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 819-819 | Speaking is a subclass of linguistic communication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 820-820 | Speaking is a subclass of vocalizing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | Emotional speaking behavior is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16728-16728 | Lecture is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16773-16773 | Reciting is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54507-54507 | Reciting is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54506-54506 | Reciting is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54505-54505 | Reciting is a subclass of speaking |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26672-26685 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6431-6443 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1663-1675 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31214-31222 | Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16743-16756 |
|
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 2966-2974 |
|
![]() |
![]() |