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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 13097-13098
(subclass LinguisticCommunication Communication) Merge.kif 13096-13096 LinguisticCommunicationコミュニケーションsubclass では %n

appearance as argument number 2

(subclass Committing LinguisticCommunication) Merge.kif 13191-13191 委託LinguisticCommunicationsubclass では %n
(subclass Corresponding LinguisticCommunication) Mid-level-ontology.kif 801-801 CorrespondingLinguisticCommunicationsubclass では %n
(subclass Debating LinguisticCommunication) Mid-level-ontology.kif 19649-19649 DebatingLinguisticCommunicationsubclass では %n
(subclass Declaring LinguisticCommunication) Merge.kif 13211-13211 DeclaringLinguisticCommunicationsubclass では %n
(subclass Directing LinguisticCommunication) Merge.kif 13147-13147 指導LinguisticCommunicationsubclass では %n
(subclass Elaborating LinguisticCommunication) Mid-level-ontology.kif 29556-29556 ElaboratingLinguisticCommunicationsubclass では %n
(subclass ExpressingInLanguage LinguisticCommunication) Mid-level-ontology.kif 13106-13106 ExpressingInLanguageLinguisticCommunicationsubclass では %n
(subclass Negotiating LinguisticCommunication) Mid-level-ontology.kif 19656-19656 NegotiatingLinguisticCommunicationsubclass では %n
(subclass Restating LinguisticCommunication) Mid-level-ontology.kif 29570-29570 RestatingLinguisticCommunicationsubclass では %n
(subclass Speaking LinguisticCommunication) Mid-level-ontology.kif 798-798 SpeakingLinguisticCommunicationsubclass では %n
(subclass Stating LinguisticCommunication) Merge.kif 13108-13108 記載LinguisticCommunicationsubclass では %n
(subclass Supposing LinguisticCommunication) Merge.kif 13142-13142 SupposingLinguisticCommunicationsubclass では %n
(subclass TellingALie LinguisticCommunication) Mid-level-ontology.kif 890-890 TellingALieLinguisticCommunicationsubclass では %n
(subclass WrittenCommunication LinguisticCommunication) Mid-level-ontology.kif 752-752 WrittenCommunicationLinguisticCommunicationsubclass では %n
(termFormat ChineseLanguage LinguisticCommunication "语言交流") domainEnglishFormat.kif 34553-34553
(termFormat ChineseTraditionalLanguage LinguisticCommunication "語言交流") domainEnglishFormat.kif 34552-34552
(termFormat EnglishLanguage LinguisticCommunication "linguistic communication") domainEnglishFormat.kif 34551-34551


        (attribute ?ACTOR VoiceActor)
        (instance ?DRAMA DramaticActing)
        (agent ?DRAMA ?ACTOR)
        (instance ?SPEAK LinguisticCommunication)
        (agent ?SPEAK ?ACTOR)
        (subProcess ?SPEAK ?DRAMA))
            (exists (?S ?VIEWER)
                    (instance ?S Seeing)
                    (patient ?S ?ACTOR)
                    (agent ?S ?VIEWER))))
        (exists (?H ?VIEWER)
                (instance ?H Hearing)
                (patient ?H ?ACTOR)
                (agent ?H ?VIEWER)))))
Biography.kif 757-776
        (instance ?COMM LinguisticCommunication)
        (agent ?COMM ?AGENT)
        (patient ?COMM ?SENTENCE)
        (instance ?SENTENCE Sentence))
        (WhenFn ?COMM)
        (states ?AGENT ?SENTENCE)))
Media.kif 1836-1842
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 13100-13106


    (holdsDuring ?T1
        (states ?AGENT ?SENTENCE))
    (exists (?COMM)
            (instance ?COMM LinguisticCommunication)
            (agent ?COMM ?AGENT)
            (patient ?COMM ?SENTENCE)
            (temporalPart ?T1
                (WhenFn ?COMM)))))
Media.kif 1844-1851
    (instance ?E Elaborating)
    (exists (?L ?EP ?LP)
            (instance ?L LinguisticCommunication)
            (earlier ?L ?E)
            (containsInformation ?E ?EP)
            (containsInformation ?L ?LP)
            (subsumesContentInstance ?EP ?LP))))
Mid-level-ontology.kif 29560-29568
    (instance ?P Prompting)
    (exists (?H ?A)
            (destination ?P ?H)
            (agent ?P ?A)
            (desires ?A
                (exists (?LC)
                        (instance ?LC LinguisticCommunication)
                        (agent ?LC ?H)
                        (earlier ?P ?LC)
                        (subsumesContentInstance ?LC ?P)))))))
Mid-level-ontology.kif 29611-29623
    (instance ?R Restating)
    (exists (?L ?LP ?RP)
            (instance ?L LinguisticCommunication)
            (earlier ?L ?R)
            (containsInformation ?R ?RP)
            (containsInformation ?L ?LP)
            (equivalentContentInstance ?RP ?LP))))
Mid-level-ontology.kif 29577-29585

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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