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 13173-13174
(subclass LinguisticCommunication Communication) Merge.kif 13172-13172 LinguisticCommunication は コミュニケーション の subclass では %n

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


(subclass Committing LinguisticCommunication) Merge.kif 13267-13267 委託 は LinguisticCommunication の subclass では %n
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 822-822 Corresponding は LinguisticCommunication の subclass では %n
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 19730-19730 Debating は LinguisticCommunication の subclass では %n
(subclass Declaring LinguisticCommunication) Merge.kif 13287-13287 Declaring は LinguisticCommunication の subclass では %n
(subclass Directing LinguisticCommunication) Merge.kif 13223-13223 指導 は LinguisticCommunication の subclass では %n
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 29706-29706 Elaborating は LinguisticCommunication の subclass では %n
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 13161-13161 ExpressingInLanguage は LinguisticCommunication の subclass では %n
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 19737-19737 Negotiating は LinguisticCommunication の subclass では %n
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 29720-29720 Restating は LinguisticCommunication の subclass では %n
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 819-819 Speaking は LinguisticCommunication の subclass では %n
(subclass Stating LinguisticCommunication) Merge.kif 13184-13184 記載 は LinguisticCommunication の subclass では %n
(subclass Supposing LinguisticCommunication) Merge.kif 13218-13218 Supposing は LinguisticCommunication の subclass では %n
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 911-911 TellingALie は LinguisticCommunication の subclass では %n
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 773-773 WrittenCommunication は LinguisticCommunication の subclass では %n
(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 13176-13182

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 29710-29718
(=>
    (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 29761-29773
(=>
    (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 29727-29735


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