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 12900-12901
(subclass LinguisticCommunication Communication) Merge.kif 12899-12899 语言交流沟通subclass

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


(subclass Committing LinguisticCommunication) Merge.kif 12994-12994 承诺语言交流subclass
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 796-796 相应语言交流subclass
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 19138-19138 辩论语言交流subclass
(subclass Declaring LinguisticCommunication) Merge.kif 13014-13014 声明语言交流subclass
(subclass Directing LinguisticCommunication) Merge.kif 12950-12950 指令g语言交流subclass
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 29159-29159 Elaborating语言交流subclass
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 12654-12654 用语言表达语言交流subclass
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 19145-19145 谈判语言交流subclass
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 29173-29173 Restating语言交流subclass
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 793-793 说话语言交流subclass
(subclass Stating LinguisticCommunication) Merge.kif 12911-12911 陈述语言交流subclass
(subclass Supposing LinguisticCommunication) Merge.kif 12945-12945 假如语言交流subclass
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 885-885 说谎语言交流subclass
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 747-747 书面沟通语言交流subclass
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34530-34530
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34529-34529
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34528-34528

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 527-546
(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))
Media.kif 1822-1828
(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 12903-12909

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


(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))
Media.kif 1830-1837
(=>
    (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 29163-29171
(=>
    (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 29214-29226
(=>
    (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 29180-29188


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