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。") chinese_format.kif 3256-3257
(documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") Merge.kif 13281-13282
(subclass LinguisticCommunication Communication) Merge.kif 13280-13280 LinguisticCommunication は コミュニケーション の subclass では

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


(subclass Committing LinguisticCommunication) Merge.kif 13375-13375 委託 は LinguisticCommunication の subclass では
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 822-822 Corresponding は LinguisticCommunication の subclass では
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 21274-21274 Debating は LinguisticCommunication の subclass では
(subclass Declaring LinguisticCommunication) Merge.kif 13395-13395 Declaring は LinguisticCommunication の subclass では
(subclass Directing LinguisticCommunication) Merge.kif 13331-13331 指導 は LinguisticCommunication の subclass では
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 31574-31574 Elaborating は LinguisticCommunication の subclass では
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 14465-14465 ExpressingInLanguage は LinguisticCommunication の subclass では
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 21281-21281 Negotiating は LinguisticCommunication の subclass では
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 31588-31588 Restating は LinguisticCommunication の subclass では
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 819-819 Speaking は LinguisticCommunication の subclass では
(subclass Stating LinguisticCommunication) Merge.kif 13292-13292 記載 は LinguisticCommunication の subclass では
(subclass Supposing LinguisticCommunication) Merge.kif 13326-13326 Supposing は LinguisticCommunication の subclass では
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 911-911 TellingALie は LinguisticCommunication の subclass では
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 773-773 WrittenCommunication は LinguisticCommunication の subclass では
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34558-34558 WrittenCommunication は LinguisticCommunication の subclass では
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34557-34557 WrittenCommunication は LinguisticCommunication の subclass では
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34556-34556 WrittenCommunication は LinguisticCommunication の subclass では

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 765-784
(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))		 Media.kif 1838-1844
(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))		 Merge.kif 13284-13290

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


(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))		 Media.kif 1846-1853
(=>
    (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 31578-31586
(=>
    (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 31629-31641
(=>
    (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 31595-31603


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 3.0 is open source software produced by Articulate Software and its partners