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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LinguisticCommunication
LinguisticCommunication

VerbNet: characterize-29.2|cast, say-37.7|convey, characterize-29.2|cast, characterize-29.2|cast, future_having-13.3|leave, future_having-13.3|leave, future_having-13.3|leave, future_having-13.3|leave, characterize-29.2|portray, characterize-29.2|cast, characterize-29.2|cast, transfer_mesg-37.1.1|tell,


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 12177-12178
(subclass LinguisticCommunication Communication) Merge.kif 12176-12176 subclass LinguisticCommunication and Communication

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


(subclass Committing LinguisticCommunication) Merge.kif 12271-12271 subclass Committing and LinguisticCommunication
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 1218-1218 subclass Corresponding and LinguisticCommunication
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 17507-17507 subclass Debating and LinguisticCommunication
(subclass Declaring LinguisticCommunication) Merge.kif 12291-12291 subclass Declaring and LinguisticCommunication
(subclass Directing LinguisticCommunication) Merge.kif 12227-12227 subclass Directing and LinguisticCommunication
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 27857-27857 subclass Elaborating and LinguisticCommunication
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 10767-10767 subclass ExpressingInLanguage and LinguisticCommunication
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 17514-17514 subclass Negotiating and LinguisticCommunication
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 27871-27871 subclass Restating and LinguisticCommunication
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 1215-1215 subclass Speaking and LinguisticCommunication
(subclass Stating LinguisticCommunication) Merge.kif 12188-12188 subclass Stating and LinguisticCommunication
(subclass Supposing LinguisticCommunication) Merge.kif 12222-12222 subclass Supposing and LinguisticCommunication
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 1308-1308 subclass TellingALie and LinguisticCommunication
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 1006-1006 subclass WrittenCommunication and LinguisticCommunication
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34462-34462
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34461-34461
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34460-34460

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 12180-12186

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 27861-27869
(=>
    (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 27918-27930
(=>
    (instance ?R Restating)
    (exists (?L)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?R)
            (containsInformation ?R ?RP)
            (containsInformation ?L ?LP)
            (equivalentContentInstance ?RP ?LP))))		 Mid-level-ontology.kif 27878-27886


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