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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Communication
Communication(communication)
AM, FM, Hadith, Rediffusion, Word_of_God, aah, abandon, abduce, abjure, absolve, absorb, abuse, accent, accentuate, access, accost, acknowledge, acquaint, actualise, actualize, address, adduce, admonish, adulate, adumbrate, advert, affirm, affront, agglutinate, aggrandise, aggrandize, aim, airing, alarmism, alert, alerting, allude, amplitude_modulation, anathemise, anathemize, animadversion, animadvert, announce, annul, annunciate, anomalous_communication, answer, answering, antic, anticipate...

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 12382-12387
(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 12380-12380 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 2877-2877 Communication is internally related to communication device
(relatedInternalConcept Communication ContentDevelopment) Merge.kif 12381-12381 Communication is internally related to content development
(subclass Communication ContentBearingProcess) Merge.kif 12379-12379 Communication is a subclass of content bearing process
(subclass Communication SocialInteraction) Merge.kif 12378-12378 Communication is a subclass of social interaction

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


(subclass ArtifactMediatedCommunication Communication) Mid-level-ontology.kif 25700-25700 Artifact mediated communication is a subclass of communication
(subclass Disseminating Communication) Merge.kif 12400-12400 Disseminating is a subclass of communication
(subclass Expressing Communication) Merge.kif 12452-12452 Expressing is a subclass of communication
(subclass Gesture Communication) Merge.kif 12435-12435 Gesture is a subclass of communication
(subclass InPersonCommunication Communication) Media.kif 218-218 InPersonCommunication is a subclass of communication
(subclass Indicating Communication) Mid-level-ontology.kif 956-956 Indicating is a subclass of communication
(subclass LinguisticCommunication Communication) Merge.kif 12470-12470 Linguistic communication is a subclass of communication
(subclass Telephoning Communication) Mid-level-ontology.kif 2892-2892 Telephoning is a subclass of communication
(termFormat ChineseLanguage Communication "沟通") chinese_format.kif 1195-1195
(termFormat EnglishLanguage Communication "communication") english_format.kif 1612-1612

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 605-614
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2906-2913
(=>
    (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 12389-12398

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 1312-1323
(=>
    (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 23745-23766
(=>
    (instance ?CO CommunicationOrganization)
    (exists (?CS ?C)
        (and
            (instance ?C Communication)
            (instance ?CS CommunicationSystem)
            (instrument ?C ?CS)
            (agent ?C ?CO))))
Mid-level-ontology.kif 7149-7156
(=>
    (instance ?DEVICE CommunicationDevice)
    (capability Communication instrument ?DEVICE))
Mid-level-ontology.kif 2879-2881
(=>
    (instance ?DOC Document)
    (hasPurpose ?DOC
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?DOC)))))
Mid-level-ontology.kif 25083-25089
(=>
    (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 12633-12644
(=>
    (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 4206-4220
(=>
    (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 25738-25760


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