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 13127-13128
(subclass LinguisticCommunication Communication) Merge.kif 13126-13126 LinguisticCommunicationコミュニケーションsubclass では %n

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


(subclass Committing LinguisticCommunication) Merge.kif 13221-13221 委託LinguisticCommunicationsubclass では %n
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 829-829 CorrespondingLinguisticCommunicationsubclass では %n
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 19703-19703 DebatingLinguisticCommunicationsubclass では %n
(subclass Declaring LinguisticCommunication) Merge.kif 13241-13241 DeclaringLinguisticCommunicationsubclass では %n
(subclass Directing LinguisticCommunication) Merge.kif 13177-13177 指導LinguisticCommunicationsubclass では %n
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 29655-29655 ElaboratingLinguisticCommunicationsubclass では %n
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 13134-13134 ExpressingInLanguageLinguisticCommunicationsubclass では %n
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 19710-19710 NegotiatingLinguisticCommunicationsubclass では %n
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 29669-29669 RestatingLinguisticCommunicationsubclass では %n
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 826-826 SpeakingLinguisticCommunicationsubclass では %n
(subclass Stating LinguisticCommunication) Merge.kif 13138-13138 記載LinguisticCommunicationsubclass では %n
(subclass Supposing LinguisticCommunication) Merge.kif 13172-13172 SupposingLinguisticCommunicationsubclass では %n
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 918-918 TellingALieLinguisticCommunicationsubclass では %n
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 780-780 WrittenCommunicationLinguisticCommunicationsubclass では %n
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34547-34547
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34546-34546
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34545-34545

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 757-776
(=>
    (and
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (holdsDuring
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))
Media.kif 1836-1842
(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 13130-13136

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


(=>
    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
        (and
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))
Media.kif 1844-1851
(=>
    (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 29659-29667
(=>
    (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 29710-29722
(=>
    (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 29676-29684


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