| 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 |
|
|
| (documentation Speaking EnglishLanguage "Any LinguisticCommunication by a Human which involves his/ her vocal cords.") | Mid-level-ontology.kif 820-821 | |
| (subclass Speaking LinguisticCommunication) | Mid-level-ontology.kif 822-822 | Speaking is a subclass of linguistic communication |
| (subclass Speaking Vocalizing) | Mid-level-ontology.kif 823-823 | Speaking is a subclass of vocalizing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?S Speaking) (instance ?J Jaw) (agent ?S ?H) (part ?J ?H)) (modalAttribute (exists (?M) (and (instance ?M BodyMotion) (objectTransferred ?M ?J) (during (WhenFn ?M) (WhenFn ?S)))) Likely)) |
Anatomy.kif 1697-1709 | If X is an instance of speaking, Y is an instance of jaw, Z is an agent of X, and Y is a part of Z, then the statement there exists W such that W is an instance of body motion, the object transferred in W is Y, and the time of existence of W takes place during the time of existence of X has the modal force of likely |
| (=> (and (holdsDuring ?T (attribute ?H AVPUVerbalStatus)) (instance ?S Speaking) (destination ?S ?H) (during (WhenFn ?S) ?T)) (exists (?IA) (and (instance ?IA IntentionalProcess) (agent ?IA ?H) (during (WhenFn ?IA) ?T) (causes ?S ?IA)))) |
Medicine.kif 6441-6453 | If AVPU verbal status is an attribute of X holds during Y, Z is an instance of speaking, Z ends up at X, and the time of existence of Z takes place during Y, then there exists W such that W is an instance of intentional process, X is an agent of W, the time of existence of W takes place during Y, and Z causes W |
| (=> (and (attribute ?X Multilingual) (instance ?SPEAK Speaking) (agent ?SPEAK ?X)) (modalAttribute (exists (?LANG1 ?LANG2) (and (instance ?LANG1 SpokenHumanLanguage) (instance ?LANG2 SpokenHumanLanguage) (not (equal ?LANG1 ?LANG2)) (or (patient ?SPEAK ?LANG1) (patient ?SPEAK ?LANG2)))) Possibility)) |
Mid-level-ontology.kif 28394-28407 | If multilingual is an attribute of X, Y is an instance of speaking, and X is an agent of Y, then the statement there exist Z, W such that Z is an instance of spoken human language, W is an instance of spoken human language, equal Z, W, and Z is a patient of Y or W is a patient of Y has the modal force of possibility |
| consequent |
|
|
| (=> (instance ?TEL Telephoning) (exists (?SPEAK ?AGENT) (and (instance ?SPEAK Speaking) (subProcess ?SPEAK ?TEL) (=> (agent ?TEL ?AGENT) (agent ?SPEAK ?AGENT))))) |
Mid-level-ontology.kif 3453-3461 | If X is an instance of telephoning, then there exist Y, Z such that Y is an instance of speaking, Y is a subprocess of X, and Z is an agent of XZ is an agent of Y |
| (=> (and (instance ?COMMENTING Commenting) (instance ?PROCESS Process) (patient ?COMMENTING ?PROCESS)) (exists (?AGENT ?SPEAKING ?LOOKING) (and (instance ?AGENT AutonomousAgent) (instance ?SPEAKING Speaking) (instance ?LOOKING Looking) (agent ?SPEAKING ?AGENT) (agent ?LOOKING ?AGENT) (patient ?LOOKING ?PROCESS) (refers ?SPEAKING ?PROCESS)))) |
Mid-level-ontology.kif 17405-17418 | If X is an instance of commenting, Y is an instance of process, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of agent (3) W is an instance of speaking (4) V is an instance of looking (5) Z is an agent of W (6) Z is an agent of V (7) Y is a patient of V (8) W includes a reference to Y |
| (<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P))))) |
Mid-level-ontology.kif 32935-32943 | Mute is an attribute of X holds during Y if, only if there doesn't exist Z such that Z is an instance of speaking, the time of existence of Z takes place during Y, and X is an agent of Z |
| (=> (attribute ?MR HipHopMusic) (modalAttribute (exists (?MM ?S) (and (record ?MR ?MM) (instance ?S Speaking) (subProcess ?S ?MM))) Likely)) |
Music.kif 729-736 | If hip hop music is an attribute of X, then the statement there exist Y, Z such that X is a record of Y, Z is an instance of speaking, and Z is a subprocess of Y has the modal force of likely |
|
|