| LinguisticCommunication | |
| appearance as argument number 1 |
|
|
| (documentation LinguisticCommunication ChineseLanguage "这是一种用 LinguisticExpression 来交换信息的 Communication。") | chinese_format.kif 3256-3257 | |
| (documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") | Merge.kif 12504-12505 | |
| (subclass LinguisticCommunication Communication) | Merge.kif 12503-12503 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?ACTOR VoiceActor) (instance ?DRAMA DramaticActing) (agent ?DRAMA ?ACTOR) (instance ?SPEAK LinguisticCommunication) (agent ?SPEAK ?ACTOR) (subProcess ?SPEAK ?DRAMA)) (and (not (exists (?S) (and (instance ?S Seeing) (patient ?S ?ACTOR) (agent ?S ?VIEWER)))) (exists (?H) (and (instance ?H Hearing) (patient ?H ?ACTOR) (agent ?H ?VIEWER))))) |
Biography.kif 524-543 | |
| (=> (and (instance ?COMM LinguisticCommunication) (agent ?COMM ?AGENT) (patient ?COMM ?SENTENCE) (instance ?SENTENCE Sentence)) (holdsDuring (WhenFn ?COMM) (states ?AGENT ?SENTENCE))) |
Media.kif 1826-1832 | |
| (=> (instance ?COMMUNICATE LinguisticCommunication) (exists (?OBJ) (and (represents ?COMMUNICATE ?OBJ) (instance ?OBJ LinguisticExpression) (patient ?COMMUNICATE ?OBJ)))) |
Merge.kif 12507-12513 |
| consequent |
|
|
| (=> (holdsDuring ?T1 (states ?AGENT ?SENTENCE)) (exists (?COMM) (and (instance ?COMM LinguisticCommunication) (agent ?COMM ?AGENT) (patient ?COMM ?SENTENCE) (temporalPart ?T1 (WhenFn ?COMM))))) |
Media.kif 1834-1841 | |
| (=> (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 28718-28726 | |
| (=> (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 28769-28781 | |
| (=> (instance ?R Restating) (exists (?L) (and (instance ?L LinguisticCommunication) (earlier ?L ?R) (containsInformation ?R ?RP) (containsInformation ?L ?LP) (equivalentContentInstance ?RP ?LP)))) |
Mid-level-ontology.kif 28735-28743 |
|
|
|