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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Communication
Communication
اِتِّصال, مُعاملة, تعامُل, إِذَاعَة, إِرْسال, بَثّ, نَقْل, إِشْعار, اِتّصال, مُخابرة, تخابُر, اِرْتِباط, اِتِّصال, ربْط, وَسَائِل إِعْلام, وَسِيلة إِعلام, مدْخل...

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


(documentation Communication ChineseLanguage "这是一种涉及两个或以上的 CognitiveAgent 之间 传递信息的 SocialInteraction。注:Communication 十分接近,却又在本质上异于 ContentDevelopment。后者涉及创作或修改一篇 ContentBearingObject,而 Communication 则是为了 传达消息而转移信息。") Merge.kif 12922-12925
(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 12916-12921
(externalImage Communication "http://upload.wikimedia.org/wikipedia/en/8/ 8c/ North-America.png") pictureList.kif 6305-6305
(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 12914-12914
(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 3428-3428
(relatedInternalConcept Communication ContentDevelopment) Merge.kif 12915-12915
(subclass Communication ContentBearingProcess) Merge.kif 12913-12913
(subclass Communication SocialInteraction) Merge.kif 12912-12912

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


(subclass ArtifactMediatedCommunication Communication) Mid-level-ontology.kif 25169-25169
(subclass Disseminating Communication) Merge.kif 12938-12938
(subclass Expressing Communication) Merge.kif 13000-13000
(subclass Gesture Communication) Merge.kif 12979-12979
(subclass InPersonCommunication Communication) Media.kif 218-218
(subclass Indicating Communication) Mid-level-ontology.kif 1402-1402
(subclass LinguisticCommunication Communication) Merge.kif 13021-13021
(subclass Telephoning Communication) Mid-level-ontology.kif 3444-3444
(subclass WallPost Communication) Facebook.kif 265-265
(termFormat ChineseLanguage Communication "沟通") chinese_format.kif 1195-1195
(termFormat EnglishLanguage Communication "communication") english_format.kif 882-882
(termFormat FrenchLanguage Communication "communication") french_format.kif 873-873
(termFormat Hindi Communication "sanchaarana") terms-hindi.txt 406-406
(termFormat ItalianLanguage Communication "Comunicazione") terms-it.txt 407-407
(termFormat PortugueseLanguage Communication "Communicacao") portuguese_format.kif 825-825
(termFormat cb Communication "komunikasyon") terms-cb.txt 411-411
(termFormat cz Communication "communication") terms-cz.txt 445-445
(termFormat tg Communication "pagbibigay-alam") terms-tg.txt 410-410

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 507-516
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2871-2878
(=>
    (instance ?C Communication)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?C ?PROP))))
TravelPolicies.kif 102-107
(=>
    (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 12927-12936

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 24374-24380
(=>
    (instance ?ER ExpenseReport)
    (hasPurpose ?ER
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?ER)))))
TravelPolicies.kif 607-613
(=>
    (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 13214-13225
(=>
    (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 25236-25255
(=>
    (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 25207-25227


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