Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LinguisticCommunication
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LinguisticCommunication Communication) | Merge.kif 13425-13425 | Linguistic communication is a subclass of communication |
| (documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") | Merge.kif 13426-13427 | 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 13429-13435 | 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 760-779 | 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 1783-1789 | 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 32266-32274 | 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 32283-32291 | 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 32317-32329 | 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 1791-1798 | 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 |
|