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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Communication

Sigma KEE - Communication
Communication(沟通)

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


(documentation Communication ChineseLanguage "这是一种涉及两个或以上的 CognitiveAgent 之间 传递信息的 SocialInteraction。注:Communication 十分接近,却又在本质上异于 ContentDevelopment。后者涉及创作或修改一篇 ContentBearingObject,而 Communication 则是为了 传达消息而转移信息。") Merge.kif 12980-12983
(documentation Communication EnglishLanguage "A SocialInteraction that involves the transfer of information between two or more CognitiveAgents. Note that Communication is closely related to, but essentially different from, ContentDevelopment. The latter involves the creation or modification of a ContentBearingObject, while Communication is the transfer of information for the purpose of conveying a message.") Merge.kif 12974-12979
(externalImage Communication "http://upload.wikimedia.org/wikipedia/en/8/ 8c/ North-America.png") pictureList.kif 6305-6305 externalImage 沟通 and "http://upload.wikimedia.org/wikipedia/en/8/8c/North-America.png"
(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 12972-12972 沟通 详尽无遗地 partition陈述, Supposing, 指令g, 承诺, 表示, 和 声明
(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 3428-3428 沟通CommunicationDevice 是 内部相关
(relatedInternalConcept Communication ContentDevelopment) Merge.kif 12973-12973 沟通内容制作 是 内部相关
(subclass Communication ContentBearingProcess) Merge.kif 12971-12971 沟通ContentBearingProcesssubclass
(subclass Communication SocialInteraction) Merge.kif 12970-12970 沟通社交subclass

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


(subclass ArtifactMediatedCommunication Communication) Mid-level-ontology.kif 25249-25249 ArtifactMediatedCommunication沟通subclass
(subclass Disseminating Communication) Merge.kif 12996-12996 传播沟通subclass
(subclass Expressing Communication) Merge.kif 13058-13058 表示沟通subclass
(subclass Gesture Communication) Merge.kif 13037-13037 Gesture沟通subclass
(subclass InPersonCommunication Communication) Media.kif 218-218 InPersonCommunication沟通subclass
(subclass Indicating Communication) Mid-level-ontology.kif 1402-1402 Indicating沟通subclass
(subclass LinguisticCommunication Communication) Merge.kif 13079-13079 LinguisticCommunication沟通subclass
(subclass Telephoning Communication) Mid-level-ontology.kif 3444-3444 Telephoning沟通subclass
(termFormat ChineseLanguage Communication "沟通") chinese_format.kif 1195-1195 termFormat ChineseLanguage, 沟通 and "沟通"
(termFormat EnglishLanguage Communication "communication") english_format.kif 1662-1662 termFormat EnglishLanguage, 沟通 and "communication"
(termFormat JapaneseLanguage Communication "コミュニケーション") english_format.kif 1663-1663 termFormat JapaneseLanguage, 沟通 and "コミュニケーション"

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


(=>
    (and
        (instance ?MODEM CableModem)
        (instance ?COMM Communication)
        (instrument ?COMM ?MODEM))
    (exists (?CABLE)
        (and
            (instance ?CABLE CommunicationCable)
            (instrument ?COMM ?CABLE)
            (connectedEngineeringComponents ?CABLE ?MODEM))))
ComputerInput.kif 458-467
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2871-2878
(=>
    (instance ?COMMUNICATE Communication)
    (exists (?PHYS ?ENTITY ?AGENT1 ?AGENT2)
        (and
            (refers ?PHYS ?ENTITY)
            (patient ?COMMUNICATE ?PHYS)
            (instance ?AGENT1 CognitiveAgent)
            (agent ?COMMUNICATE ?AGENT1)
            (instance ?AGENT2 CognitiveAgent)
            (destination ?COMMUNICATE ?AGENT2))))
Merge.kif 12985-12994

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


(=>
    (and
        (engineeringSubcomponent ?DEVICE1 Internet)
        (engineeringSubcomponent ?DEVICE2 Internet)
        (not
            (equal ?DEVICE1 ?DEVICE2)))
    (hasPurpose Internet
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (agent ?COMM ?DEVICE1)
                (destination ?COMM ?DEVICE2)
                (instrument ?COMM Internet)))))
Hotel.kif 1294-1305
(=>
    (instance ?CO CommunicationOrganization)
    (exists (?CS ?C)
        (and
            (instance ?C Communication)
            (instance ?CS CommunicationSystem)
            (instrument ?C ?CS)
            (agent ?C ?CO))))
Mid-level-ontology.kif 7292-7299
(=>
    (instance ?DEVICE CommunicationDevice)
    (capability Communication instrument ?DEVICE))
Mid-level-ontology.kif 3430-3432
(=>
    (instance ?DOC Document)
    (hasPurpose ?DOC
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?DOC)))))
Mid-level-ontology.kif 24454-24460
(=>
    (instance ?MEET Meeting)
    (exists (?AGENT1 ?AGENT2)
        (and
            (agent ?MEET ?AGENT1)
            (agent ?MEET ?AGENT2)
            (hasPurpose ?MEET
                (exists (?COMM)
                    (and
                        (instance ?COMM Communication)
                        (agent ?COMM ?AGENT1)
                        (agent ?COMM ?AGENT2)))))))
Merge.kif 13272-13283
(=>
    (instance ?X DirectDialTelephoneCommunication)
    (not
        (exists (?OPERATOR)
            (and
                (instance ?OPERATOR Human)
                (hasPurpose ?OPERATOR
                    (exists (?PROC)
                        (and
                            (instance ?PROC IntentionalProcess)
                            (agent ?PROC ?OPERATOR)
                            (subProcess ?PROC ?X)
                            (result ?PROC ?RESULT)
                            (equal ?RESULT
                                (modalAttribute
                                    (exists (?COMM)
                                        (and
                                            (instance ?COMM Communication)
                                            (origin ?COMM ?ORIGIN)
                                            (destination ?COMM ?DEST))) Possibility)))))))))
Mid-level-ontology.kif 25316-25335
(=>
    (instance ?X OperatorAssistedTelephoneCommunication)
    (exists (?ORIGIN ?DEST ?OPERATOR)
        (and
            (origin ?X ?ORIGIN)
            (destination ?X ?DEST)
            (instance ?OPERATOR Human)
            (hasPurpose ?OPERATOR
                (exists (?PROC)
                    (and
                        (instance ?PROC IntentionalProcess)
                        (agent ?PROC ?OPERATOR)
                        (subProcess ?PROC ?X)
                        (result ?PROC ?RESULT)
                        (equal ?RESULT
                            (modalAttribute
                                (exists (?COMM)
                                    (and
                                        (instance ?COMM Communication)
                                        (origin ?COMM ?ORIGIN)
                                        (destination ?COMM ?DEST))) Possibility))))))))
Mid-level-ontology.kif 25287-25307


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