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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Communication
Communication(communication)

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


(documentation Communication ChineseLanguage "这是一种涉及两个或以上的 CognitiveAgent 之间 传递信息的 SocialInteraction。注：Communication 十分接近，却又在本质上异于 ContentDevelopment。后者涉及创作或修改一篇 ContentBearingObject，而 Communication 则是为了 传达消息而转移信息。") chinese_format.kif 3239-3242
(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 12929-12934
(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 12927-12927 Communication est compl�tement d�compos� en d�clarer, Supposing, diriger, investir, exprimer, + d�clarer
(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 2916-2916 Communication est reli� � l'int�rieur de SUMO � CommunicationDevice
(relatedInternalConcept Communication ContentDevelopment) Merge.kif 12928-12928 Communication est reli� � l'int�rieur de SUMO � d�veloppement de contenu
(subclass Communication ContentBearingProcess) Merge.kif 12926-12926 Communication est une sous-classe de ContentBearingProcess
(subclass Communication SocialInteraction) Merge.kif 12925-12925 Communication est une sous-classe de interaction social

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


(subclass ArtifactMediatedCommunication Communication) Mid-level-ontology.kif 27114-27114 ArtifactMediatedCommunication est une sous-classe de communication
(subclass Disseminating Communication) Merge.kif 12947-12947 Disseminer est une sous-classe de communication
(subclass Expressing Communication) Merge.kif 12999-12999 Exprimer est une sous-classe de communication
(subclass Gesture Communication) Merge.kif 12982-12982 Gesture est une sous-classe de communication
(subclass InPersonCommunication Communication) Media.kif 218-218 InPersonCommunication est une sous-classe de communication
(subclass Indicating Communication) Mid-level-ontology.kif 988-988 Indicating est une sous-classe de communication
(subclass LinguisticCommunication Communication) Merge.kif 13017-13017 LinguisticCommunication est une sous-classe de communication
(subclass Telephoning Communication) Mid-level-ontology.kif 2931-2931 Telephoning est une sous-classe de communication
(termFormat ChineseLanguage Communication "沟通") chinese_format.kif 1195-1195
(termFormat EnglishLanguage Communication "communication") english_format.kif 1607-1607
(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 JapaneseLanguage Communication "コミュニケーション") japanese_format.kif 2557-2557
(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 ro Communication "comunicare") relations-ro.kif 894-894
(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 Cable)
            (instrument ?COMM ?CABLE)
            (connectedEngineeringComponents ?CABLE ?MODEM))))		 ComputerInput.kif 577-586
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))		 Geography.kif 2951-2958
(=>
    (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 12936-12945

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 1347-1358
(=>
    (and
        (instance ?H Hotline)
        (telephoneNumber ?H ?O)
        (instance ?O Organization))
    (hasPurpose ?H
        (exists (?T)
            (and
                (instance ?T Telephoning)
                (destination ?T ?O)
                (modalAttribute
                    (exists (?C)
                        (and
                            (instance ?C Communication)
                            (instrument ?C ?H)
                            (equal
                                (BeginFn
                                    (WhenFn ?C))
                                (BeginFn
                                    (ImmediateFutureFn
                                        (WhenFn ?T)))))) Likely)))))		 Mid-level-ontology.kif 25156-25177
(=>
    (instance ?CO CommunicationOrganization)
    (exists (?CS ?C)
        (and
            (instance ?C Communication)
            (instance ?CS CommunicationSystem)
            (instrument ?C ?CS)
            (agent ?C ?CO))))		 Mid-level-ontology.kif 7552-7559
(=>
    (instance ?DEVICE CommunicationDevice)
    (capability Communication instrument ?DEVICE))		 Mid-level-ontology.kif 2918-2920
(=>
    (instance ?DOC Document)
    (hasPurpose ?DOC
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?DOC)))))		 Mid-level-ontology.kif 26497-26503
(=>
    (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 13180-13191
(=>
    (instance ?P Phishing)
    (exists (?FS ?V ?M ?I)
        (and
            (instance ?M Communication)
            (origin ?M ?FS)
            (agent ?P ?FS)
            (destination ?M ?V)
            (instance ?I Formula)
            (knows ?V ?I)
            (not
                (desires ?V
                    (knows ?FS ?I)))
            (desires ?FS
                (knows ?FS ?I)))))		 ComputingBrands.kif 4233-4247
(=>
    (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)
                        (holdsDuring
                            (ImmediateFutureFn
                                (WhenFn ?PROC))
                            (modalAttribute
                                (exists (?COMM)
                                    (and
                                        (instance ?COMM Communication)
                                        (origin ?COMM ?ORIGIN)
                                        (destination ?COMM ?DEST))) Possibility))))))))		 Mid-level-ontology.kif 27152-27174


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