| LinguisticCommunication(linguistic communication) | | advised, allegorically, antiphonal, apopemptic, articulation, bit, broad, by_word_of_mouth, cast, catachrestic, catachrestical, causerie, chanted, chattily, chin-wag, chin-wagging, chin_wag, chin_wagging, chit-chat, chit_chat, chitchat, clipped, colloquial, colloquially, common, contact, conversational, conversationally, convey, couch, en_clair, explicit, expressed, fill_in, formal, frame, gab, gabfest, get_hold_of, get_through, give, gossip, impart, implicit, in_a_low_voice, inexplicit, informal, informally, informatively, instructively... |
| appearance as argument number 1 |
|
|
| (subclass LinguisticCommunication Communication) | Merge.kif 13302-13302 | Linguistic communication is a subclass of communication |
| (documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") | Merge.kif 13303-13304 | Linguistic communication is a subclass of communication |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?COMMUNICATE LinguisticCommunication) (exists (?OBJ) (and (represents ?COMMUNICATE ?OBJ) (instance ?OBJ LinguisticExpression) (patient ?COMMUNICATE ?OBJ)))) |
Merge.kif 13306-13312 | If X is an instance of linguistic communication, then there exists Y such that X expresses Y, Y is an instance of linguistic expression, and Y is a patient of X |
| (=> (and (attribute ?ACTOR VoiceActor) (instance ?DRAMA DramaticActing) (agent ?DRAMA ?ACTOR) (instance ?SPEAK LinguisticCommunication) (agent ?SPEAK ?ACTOR) (subProcess ?SPEAK ?DRAMA)) (and (not (exists (?S ?VIEWER) (and (instance ?S Seeing) (patient ?S ?ACTOR) (agent ?S ?VIEWER)))) (exists (?H ?VIEWER) (and (instance ?H Hearing) (patient ?H ?ACTOR) (agent ?H ?VIEWER))))) |
Biography.kif 776-795 | If All of the following hold: (1) voice actor is an attribute of X (2) Y is an instance of dramatic acting (3) X is an agent of Y (4) Z is an instance of linguistic communication (5) X is an agent of Z (6) Z is a subprocess of Y, then there don't exist W, V such that W is an instance of seeing, X is a patient of W, and V is an agent of W and there exist U, V such that U is an instance of hearing, X is a patient of U, and V is an agent of U |
| (=> (and (instance ?COMM LinguisticCommunication) (agent ?COMM ?AGENT) (patient ?COMM ?SENTENCE) (instance ?SENTENCE Sentence)) (holdsDuring (WhenFn ?COMM) (states ?AGENT ?SENTENCE))) |
Media.kif 1838-1844 | If X is an instance of linguistic communication, Y is an agent of X, Z is a patient of X, and Z is an instance of sentence, then Y states Z holds during the time of existence of X |
| consequent |
|
|
| (=> (instance ?E Elaborating) (exists (?L ?EP ?LP) (and (instance ?L LinguisticCommunication) (earlier ?L ?E) (containsInformation ?E ?EP) (containsInformation ?L ?LP) (subsumesContentInstance ?EP ?LP)))) |
Mid-level-ontology.kif 32347-32355 | If X is an instance of elaborating, then there exist Y, Z, W such that Y is an instance of linguistic communication, Y happens earlier than X, X contains information Z, Y contains information W, and Z subsumes the content of W |
| (=> (instance ?R Restating) (exists (?L ?LP ?RP) (and (instance ?L LinguisticCommunication) (earlier ?L ?R) (containsInformation ?R ?RP) (containsInformation ?L ?LP) (equivalentContentInstance ?RP ?LP)))) |
Mid-level-ontology.kif 32364-32372 | If X is an instance of restating, then there exist Y, Z, W such that Y is an instance of linguistic communication, Y happens earlier than X, X contains information W, Y contains information Z, and W is equivalent to Z |
| (=> (instance ?P Prompting) (exists (?H ?A) (and (destination ?P ?H) (agent ?P ?A) (desires ?A (exists (?LC) (and (instance ?LC LinguisticCommunication) (agent ?LC ?H) (earlier ?P ?LC) (subsumesContentInstance ?LC ?P))))))) |
Mid-level-ontology.kif 32398-32410 | If X is an instance of prompting, then All of the following hold: (1) there exist Y (2) Z such that X ends up at Y (3) Z is an agent of X (4) Z desires there exists W such that W is an instance of linguistic communication (5) Y is an agent of W (6) X happens earlier than W (7) W subsumes the content of X |
| (=> (holdsDuring ?T1 (states ?AGENT ?SENTENCE)) (exists (?COMM) (and (instance ?COMM LinguisticCommunication) (agent ?COMM ?AGENT) (patient ?COMM ?SENTENCE) (temporalPart ?T1 (WhenFn ?COMM))))) |
Media.kif 1846-1853 | If X states Y holds during Z, then there exists W such that W is an instance of linguistic communication, X is an agent of W, Y is a patient of W, and Z is a part of the time of existence of W |
|
|
|