| 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 |
|
|
| s__documentation(s__Speaking,s__ChineseLanguage,'这是 Human 使用他/她的声带的任何 LinguisticCommunication。') | Merge.kif 11100-11101 | |
| s__documentation(s__Speaking,s__EnglishLanguage,'Any LinguisticCommunication by a Human which involves his/ her vocal cords.')
|
Merge.kif 11098-11099 | |
| s__instance(s__Speaking,s__SetOrClass) s__instance(s__LinguisticCommunication,s__SetOrClass) s__subclass(s__Speaking,s__LinguisticCommunication)
|
Mid-level-ontology.kif 1213-1213 | Speaking is a subclass of linguistic communication |
| s__instance(s__Speaking,s__SetOrClass) s__instance(s__Vocalizing,s__SetOrClass) s__subclass(s__Speaking,s__Vocalizing)
|
Mid-level-ontology.kif 1214-1214 | Speaking is a subclass of vocalizing |
| appearance as argument number 2 |
|
|
| s__instance(s__Lecture,s__SetOrClass) s__instance(s__Speaking,s__SetOrClass) s__subclass(s__Lecture,s__Speaking)
|
Mid-level-ontology.kif 13528-13528 | Lecture is a subclass of speaking |
| s__subclass(s__Reciting,s__Speaking) s__instance(s__Speaking,s__SetOrClass) s__instance(s__Reciting,s__SetOrClass)
|
Mid-level-ontology.kif 13573-13573 | Reciting is a subclass of speaking |
| s__termFormat(s__EnglishLanguage,s__Speaking,'speaking')
|
domainEnglishFormat.kif 9502-9502 | "speaking" is the printable form of speaking in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23664-23677 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28418-28426 | 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 |
| ( ! [V__COMMENTING,V__PROCESS] : ((s__instance(V__COMMENTING,s__Commenting)s__and__ms__instance(V__PROCESS,s__Process)s__and__ms__patient(V__COMMENTING,V__PROCESS)) s__=>(s__exists__m[V__AGENT,V__SPEAKING,V__LOOKING] : (s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__SPEAKING,s__Speaking)s__and__ms__instance(V__LOOKING,s__Looking)s__and__ms__agent(V__SPEAKING,V__AGENT) s__and__ms__agent(V__LOOKING,V__AGENT) s__and__ms__patient(V__LOOKING,V__PROCESS) s__and__ms__refers(V__SPEAKING,V__PROCESS)))) )
|
Mid-level-ontology.kif 13543-13556 |
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 729-736 |
|
| ( ! [V__AGENT,V__TEL] : (s__instance(V__AGENT,s__Agent)s__=>(s__instance(V__TEL,s__Telephoning)s__=>(s__exists__m[V__SPEAK] : (s__instance(V__SPEAK,s__Speaking)s__and__ms__subProcess(V__SPEAK,V__TEL) s__and__m(s__agent(V__TEL,V__AGENT) s__=>s__agent(V__SPEAK,V__AGENT)))))) )
|
Mid-level-ontology.kif 3460-3468 |
|
|
|
|