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


KB Term:  Term intersection
English Word: 

Sigma KEE - Communication
Communication

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


(subclass Communication SocialInteraction) Merge.kif 13332-13332
(subclass Communication ContentBearingProcess) Merge.kif 13333-13333
(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 13334-13334
(relatedInternalConcept Communication ContentDevelopment) Merge.kif 13335-13335
(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 13336-13341
(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 3552-3552
(externalImage Communication "http://upload.wikimedia.org/wikipedia/en/8/ 8c/ North_America.png") pictureList.kif 6303-6303

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


(subclass Disseminating Communication) Merge.kif 13354-13354
(subclass Gesture Communication) Merge.kif 13389-13389
(subclass Expressing Communication) Merge.kif 13407-13407
(subclass LinguisticCommunication Communication) Merge.kif 13425-13425
(subclass Indicating Communication) Mid-level-ontology.kif 1006-1006
(subclass Telephoning Communication) Mid-level-ontology.kif 3567-3567
(subclass ArtifactMediatedCommunication Communication) Mid-level-ontology.kif 29574-29574
(subclass WallPost Communication) Facebook.kif 264-264
(subclass InPersonCommunication Communication) Media.kif 212-212
(termFormat EnglishLanguage Communication "communication") english_format.kif 1611-1611

antecedent
-------------------------


(=>
    (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 13343-13352
(=>
    (and
        (instance ?MODEM CableModem)
        (instance ?COMM Communication)
        (instrument ?COMM ?MODEM))
    (exists (?CABLE)
        (and
            (instance ?CABLE Cable)
            (instrument ?COMM ?CABLE)
            (connectedEngineeringComponents ?CABLE ?MODEM))))		 ComputerInput.kif 593-602
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))		 Geography.kif 4457-4464
(=>
    (instance ?C Communication)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?C ?PROP))))		 TravelPolicies.kif 102-107

consequent
-------------------------


(=>
    (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 13599-13610
(=>
    (instance ?DEVICE CommunicationDevice)
    (capability Communication instrument ?DEVICE))		 Mid-level-ontology.kif 3554-3556
(=>
    (instance ?CO CommunicationOrganization)
    (exists (?CS ?C)
        (and
            (instance ?C Communication)
            (instance ?CS CommunicationSystem)
            (instrument ?C ?CS)
            (agent ?C ?CO))))		 Mid-level-ontology.kif 8877-8884
(=>
    (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 27384-27405
(=>
    (instance ?DOC Document)
    (hasPurpose ?DOC
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?DOC)))))		 Mid-level-ontology.kif 28927-28933
(=>
    (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 29612-29634
(=>
    (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 4141-4155
(=>
    (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 1358-1369
(=>
    (holdsDuring ?T
        (attribute ?H AVPUAlertStatus))
    (holdsDuring ?T
        (capability ?H agent Communication)))		 Medicine.kif 6474-6478
(=>
    (instance ?ER ExpenseReport)
    (hasPurpose ?ER
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?ER)))))		 TravelPolicies.kif 604-610


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.0-321a000c (2026-05-05) is open source software produced by Articulate Software and its partners