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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Communication

 Sigma KEE - Communication
Communication(Comunicazione)

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 13084-13089
(externalImage Communication "http://upload.wikimedia.org/wikipedia/en/8/ 8c/ North-America.png") pictureList.kif 6304-6304
(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 13082-13082 Comunicazione è esaustivamente partizionato in Affermare, Supposing, Sollecitare, Impegnarsi, Esprimere, + Dichiarare
(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 2937-2937 Comunicazione è interamente correlato a CommunicationDevice
(relatedInternalConcept Communication ContentDevelopment) Merge.kif 13083-13083 Comunicazione è interamente correlato a SviluppoDelContenuto
(subclass Communication ContentBearingProcess) Merge.kif 13081-13081 Comunicazione è una sottoclasse di ContentBearingProcess
(subclass Communication SocialInteraction) Merge.kif 13080-13080 Comunicazione è una sottoclasse di InterazioneSociale

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


(subclass ArtifactMediatedCommunication Communication) Mid-level-ontology.kif 27042-27042 ArtifactMediatedCommunication è una sottoclasse di Comunicazione
(subclass Disseminating Communication) Merge.kif 13102-13102 Diffusione è una sottoclasse di Comunicazione
(subclass Expressing Communication) Merge.kif 13154-13154 Esprimere è una sottoclasse di Comunicazione
(subclass Gesture Communication) Merge.kif 13137-13137 Gesture è una sottoclasse di Comunicazione
(subclass InPersonCommunication Communication) Media.kif 218-218 InPersonCommunication è una sottoclasse di Comunicazione
(subclass Indicating Communication) Mid-level-ontology.kif 1009-1009 Indicating è una sottoclasse di Comunicazione
(subclass LinguisticCommunication Communication) Merge.kif 13172-13172 LinguisticCommunication è una sottoclasse di Comunicazione
(subclass Telephoning Communication) Mid-level-ontology.kif 2952-2952 Telephoning è una sottoclasse di Comunicazione
(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 409-409
(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 3025-3032
(=>
    (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 13091-13100

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 25150-25171
(=>
    (holdsDuring ?T
        (attribute ?H AVPUAlertStatus))
    (holdsDuring ?T
        (capability ?H agent Communication)))		 Medicine.kif 6427-6431
(=>
    (instance ?CO CommunicationOrganization)
    (exists (?CS ?C)
        (and
            (instance ?C Communication)
            (instance ?CS CommunicationSystem)
            (instrument ?C ?CS)
            (agent ?C ?CO))))		 Mid-level-ontology.kif 7612-7619
(=>
    (instance ?DEVICE CommunicationDevice)
    (capability Communication instrument ?DEVICE))		 Mid-level-ontology.kif 2939-2941
(=>
    (instance ?DOC Document)
    (hasPurpose ?DOC
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?DOC)))))		 Mid-level-ontology.kif 26432-26438
(=>
    (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 13335-13346
(=>
    (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 4235-4249
(=>
    (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 27080-27102


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