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。") Merge.kif 13024-13025
(documentation LinguisticCommunication EnglishLanguage "A Communication that involves the transfer of information via a LinguisticExpression.") Merge.kif 13022-13023
(subclass LinguisticCommunication Communication) Merge.kif 13021-13021

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


(subclass Committing LinguisticCommunication) Merge.kif 13134-13134
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 1216-1216
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 17422-17422
(subclass Declaring LinguisticCommunication) Merge.kif 13159-13159
(subclass Directing LinguisticCommunication) Merge.kif 13081-13081
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 27746-27746
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 10736-10736
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 17429-17429
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 27760-27760
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 1213-1213
(subclass Stating LinguisticCommunication) Merge.kif 13035-13035
(subclass Supposing LinguisticCommunication) Merge.kif 13074-13074
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 1307-1307
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 1007-1007
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 6176-6176

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 518-537
(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))
Media.kif 1826-1832
(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 13027-13033

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


(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))
Media.kif 1834-1841
(=>
    (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 27750-27758
(=>
    (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 27807-27819
(=>
    (instance ?R Restating)
    (exists (?L)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?R)
            (containsInformation ?E ?RP)
            (containsInformation ?L ?LP)
            (equivalentContentInstance ?RP ?LP))))
Mid-level-ontology.kif 27767-27775


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners