Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LinguisticCommunication
LinguisticCommunication

appearance as argument number 1
-------------------------


(documentation LinguisticCommunication ChineseLanguage "这是一种用 LinguisticExpression 来交换信息的 Communication。") Merge.kif 12945-12946
(documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") Merge.kif 12943-12944
(subclass LinguisticCommunication Communication) Merge.kif 12942-12942

appearance as argument number 2
-------------------------


(subclass Committing LinguisticCommunication) Merge.kif 13055-13055
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 1216-1216
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 17121-17121
(subclass Declaring LinguisticCommunication) Merge.kif 13080-13080
(subclass Directing LinguisticCommunication) Merge.kif 13002-13002
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 27385-27385
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 10724-10724
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 17128-17128
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 27399-27399
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 1213-1213
(subclass Stating LinguisticCommunication) Merge.kif 12956-12956
(subclass Supposing LinguisticCommunication) Merge.kif 12995-12995
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 1307-1307
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 1007-1007
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 6176-6176

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 518-537
(=>
    (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 12948-12954

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 27389-27397
(=>
    (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 27446-27458
(=>
    (instance ?R Restating)
    (exists (?L)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?R)
            (containsInformation ?E ?RP)
            (containsInformation ?L ?LP)
            (equivalentContentInstance ?RP ?LP))))
Mid-level-ontology.kif 27406-27414


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners