Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LinguisticCommunication
LinguisticCommunication

appearance as argument number 1
-------------------------


(subclass LinguisticCommunication Communication) Merge.kif 13425-13425
(documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") Merge.kif 13426-13427

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


(subclass Stating LinguisticCommunication) Merge.kif 13437-13437
(subclass Supposing LinguisticCommunication) Merge.kif 13473-13473
(subclass Directing LinguisticCommunication) Merge.kif 13478-13478
(subclass Committing LinguisticCommunication) Merge.kif 13524-13524
(subclass Declaring LinguisticCommunication) Merge.kif 13544-13544
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 763-763
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 809-809
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 812-812
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 908-908
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 14690-14690
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 21602-21602
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 21609-21609
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 32262-32262
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 32276-32276
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34549-34549
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34550-34550
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34551-34551

antecedent
-------------------------


(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))		 Merge.kif 13429-13435
(=>
    (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 760-779
(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))		 Media.kif 1783-1789

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


(=>
    (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 32266-32274
(=>
    (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 32283-32291
(=>
    (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 32317-32329
(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))		 Media.kif 1791-1798


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners