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 17259-17259 | Lecture is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17304-17304 | Reciting is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54478-54478 | Reciting is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54477-54477 | Reciting is a subclass of speaking |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54476-54476 | Reciting is a subclass of speaking |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27648-27661 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6465-6477 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1699-1711 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32191-32199 | 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 17274-17287 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 729-736 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3436-3444 |
|
![]() |
![]() |