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 13266-13267
(subclass LinguisticCommunication Communication) Merge.kif 13265-13265 LinguisticCommunication est une sous-classe de communication

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


(subclass Committing LinguisticCommunication) Merge.kif 13360-13360 Investir est une sous-classe de LinguisticCommunication
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 822-822 Corresponding est une sous-classe de LinguisticCommunication
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 21274-21274 Debating est une sous-classe de LinguisticCommunication
(subclass Declaring LinguisticCommunication) Merge.kif 13380-13380 D�clarer est une sous-classe de LinguisticCommunication
(subclass Directing LinguisticCommunication) Merge.kif 13316-13316 Diriger est une sous-classe de LinguisticCommunication
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 31576-31576 Elaborating est une sous-classe de LinguisticCommunication
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 14465-14465 ExpressingInLanguage est une sous-classe de LinguisticCommunication
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 21281-21281 Negotiating est une sous-classe de LinguisticCommunication
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 31590-31590 Restating est une sous-classe de LinguisticCommunication
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 819-819 Speaking est une sous-classe de LinguisticCommunication
(subclass Stating LinguisticCommunication) Merge.kif 13277-13277 D�clarer est une sous-classe de LinguisticCommunication
(subclass Supposing LinguisticCommunication) Merge.kif 13311-13311 Supposing est une sous-classe de LinguisticCommunication
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 911-911 TellingALie est une sous-classe de LinguisticCommunication
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 773-773 WrittenCommunication est une sous-classe de LinguisticCommunication
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34558-34558 WrittenCommunication est une sous-classe de LinguisticCommunication
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34557-34557 WrittenCommunication est une sous-classe de LinguisticCommunication
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34556-34556 WrittenCommunication est une sous-classe de LinguisticCommunication

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 13269-13275

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 31580-31588
(=>
    (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 31631-31643
(=>
    (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 31597-31605


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