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

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


(subclass Committing LinguisticCommunication) Merge.kif 13191-13191 委託 は LinguisticCommunication の subclass では %n
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 801-801 Corresponding は LinguisticCommunication の subclass では %n
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 19649-19649 Debating は LinguisticCommunication の subclass では %n
(subclass Declaring LinguisticCommunication) Merge.kif 13211-13211 Declaring は LinguisticCommunication の subclass では %n
(subclass Directing LinguisticCommunication) Merge.kif 13147-13147 指導 は LinguisticCommunication の subclass では %n
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 29556-29556 Elaborating は LinguisticCommunication の subclass では %n
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 13106-13106 ExpressingInLanguage は LinguisticCommunication の subclass では %n
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 19656-19656 Negotiating は LinguisticCommunication の subclass では %n
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 29570-29570 Restating は LinguisticCommunication の subclass では %n
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 798-798 Speaking は LinguisticCommunication の subclass では %n
(subclass Stating LinguisticCommunication) Merge.kif 13108-13108 記載 は LinguisticCommunication の subclass では %n
(subclass Supposing LinguisticCommunication) Merge.kif 13142-13142 Supposing は LinguisticCommunication の subclass では %n
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 890-890 TellingALie は LinguisticCommunication の subclass では %n
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 752-752 WrittenCommunication は LinguisticCommunication の subclass では %n
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34553-34553
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34552-34552
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34551-34551

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 13100-13106

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 29560-29568
(=>
    (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 29611-29623
(=>
    (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 29577-29585


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