| 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 13308-13308 | Linguistic communication is a subclass of communication |
| (documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") | Merge.kif 13309-13310 | 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 13312-13318 | 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 |
| consequent |
|
|
|
|
|