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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinguisticCommunication

 Sigma KEE - LinguisticCommunication
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 13149-13150
(subclass LinguisticCommunication Communication) Merge.kif 13148-13148 LinguisticCommunication ist eine teilkategorie von Communication

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


(subclass Committing LinguisticCommunication) Merge.kif 13243-13243 Committing ist eine teilkategorie von LinguisticCommunication
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 829-829 Corresponding ist eine teilkategorie von LinguisticCommunication
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 19702-19702 Debating ist eine teilkategorie von LinguisticCommunication
(subclass Declaring LinguisticCommunication) Merge.kif 13263-13263 Declaring ist eine teilkategorie von LinguisticCommunication
(subclass Directing LinguisticCommunication) Merge.kif 13199-13199 Directing ist eine teilkategorie von LinguisticCommunication
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 29643-29643 Elaborating ist eine teilkategorie von LinguisticCommunication
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 13133-13133 ExpressingInLanguage ist eine teilkategorie von LinguisticCommunication
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 19709-19709 Negotiating ist eine teilkategorie von LinguisticCommunication
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 29657-29657 Restating ist eine teilkategorie von LinguisticCommunication
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 826-826 Speaking ist eine teilkategorie von LinguisticCommunication
(subclass Stating LinguisticCommunication) Merge.kif 13160-13160 Stating ist eine teilkategorie von LinguisticCommunication
(subclass Supposing LinguisticCommunication) Merge.kif 13194-13194 Supposing ist eine teilkategorie von LinguisticCommunication
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 918-918 TellingALie ist eine teilkategorie von LinguisticCommunication
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 780-780 WrittenCommunication ist eine teilkategorie von LinguisticCommunication
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34547-34547
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34546-34546
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34545-34545

antecedent
-------------------------


(=>
    (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 757-776
(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))		 Media.kif 1836-1842
(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))		 Merge.kif 13152-13158

consequent
-------------------------


(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))		 Media.kif 1844-1851
(=>
    (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 29647-29655
(=>
    (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 29698-29710
(=>
    (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 29664-29672


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners