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, adulate, adumbrate, advert, affirm, agglutinate, aggrandise, aggrandize, aim, airing, alarmism, alert, alerting, allude, amplitude_modulation, anathemise, anathemize, animadversion, animadvert, announce, annul, annunciate, anomalous_communication, answer, answering, antic, anticipate, ape, aphorise...

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 13113-13118
(externalImage Communication "http://upload.wikimedia.org/wikipedia/en/8/ 8c/ North_America.png") pictureList.kif 6303-6303
(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 13111-13111 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 3010-3010 Communication is internally related to communication device
(relatedInternalConcept Communication ContentDevelopment) Merge.kif 13112-13112 Communication is internally related to content development
(subclass Communication ContentBearingProcess) Merge.kif 13110-13110 Communication is a subclass of content bearing process
(subclass Communication SocialInteraction) Merge.kif 13109-13109 Communication is a subclass of social interaction

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


(subclass ArtifactMediatedCommunication Communication) Mid-level-ontology.kif 28104-28104 Artifact mediated communication is a subclass of communication
(subclass Disseminating Communication) Merge.kif 13131-13131 Disseminating is a subclass of communication
(subclass Expressing Communication) Merge.kif 13183-13183 Expressing is a subclass of communication
(subclass Gesture Communication) Merge.kif 13166-13166 Gesture is a subclass of communication
(subclass InPersonCommunication Communication) Media.kif 218-218 In person communication is a subclass of communication
(subclass Indicating Communication) Mid-level-ontology.kif 1009-1009 Indicating is a subclass of communication
(subclass LinguisticCommunication Communication) Merge.kif 13201-13201 Linguistic communication is a subclass of communication
(subclass Telephoning Communication) Mid-level-ontology.kif 3025-3025 Telephoning is a subclass of communication
(termFormat ChineseLanguage Communication "沟通") chinese_format.kif 1195-1195 Telephoning is a subclass of communication
(termFormat EnglishLanguage Communication "communication") english_format.kif 1607-1607 Telephoning is a subclass of communication
(termFormat FrenchLanguage Communication "communication") french_format.kif 873-873 Telephoning is a subclass of communication
(termFormat Hindi Communication "sanchaarana") terms-hindi.txt 406-406 Telephoning is a subclass of communication
(termFormat ItalianLanguage Communication "Comunicazione") terms-it.txt 409-409 Telephoning is a subclass of communication
(termFormat JapaneseLanguage Communication "コミュニケーション") japanese_format.kif 2557-2557 Telephoning is a subclass of communication
(termFormat PortugueseLanguage Communication "Communicacao") portuguese_format.kif 825-825 Telephoning is a subclass of communication
(termFormat cb Communication "komunikasyon") terms-cb.txt 411-411 Telephoning is a subclass of communication
(termFormat cz Communication "communication") terms-cz.txt 445-445 Telephoning is a subclass of communication
(termFormat de Communication "Kommunikation") terms-de.txt 704-704 Telephoning is a subclass of communication
(termFormat ro Communication "comunicare") relations-ro.kif 894-894 Telephoning is a subclass of communication
(termFormat tg Communication "pagbibigay-alam") terms-tg.txt 410-410 Telephoning is a subclass of communication

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 3013-3020
(=>
    (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 13120-13129

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 26212-26233
(=>
    (holdsDuring ?T
        (attribute ?H AVPUAlertStatus))
    (holdsDuring ?T
        (capability ?H agent Communication)))
Medicine.kif 6411-6415
(=>
    (instance ?CO CommunicationOrganization)
    (exists (?CS ?C)
        (and
            (instance ?C Communication)
            (instance ?CS CommunicationSystem)
            (instrument ?C ?CS)
            (agent ?C ?CO))))
Mid-level-ontology.kif 8358-8365
(=>
    (instance ?DEVICE CommunicationDevice)
    (capability Communication instrument ?DEVICE))
Mid-level-ontology.kif 3012-3014
(=>
    (instance ?DOC Document)
    (hasPurpose ?DOC
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?DOC)))))
Mid-level-ontology.kif 27494-27500
(=>
    (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 13364-13375
(=>
    (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 28142-28164


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