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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - 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 13177-13182
(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 13175-13175 コミュニケーション は 記載, Supposing, 指導, 委託, 表現, + declaring に exhaustively partitioned
(relatedInternalConcept Communication CommunicationDevice) Mid-level-ontology.kif 3407-3407 コミュニケーション は CommunicationDevice に internally 関連して
(relatedInternalConcept Communication ContentDevelopment) Merge.kif 13176-13176 コミュニケーション は コンテンツ開発 に internally 関連して
(subclass Communication ContentBearingProcess) Merge.kif 13174-13174 コミュニケーション は ContentBearingProcess の subclass では
(subclass Communication SocialInteraction) Merge.kif 13173-13173 コミュニケーション は 社会的交流 の subclass では

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


(subclass ArtifactMediatedCommunication Communication) Mid-level-ontology.kif 28910-28910 ArtifactMediatedCommunication は コミュニケーション の subclass では
(subclass Disseminating Communication) Merge.kif 13195-13195 普及 は コミュニケーション の subclass では
(subclass Expressing Communication) Merge.kif 13247-13247 表現 は コミュニケーション の subclass では
(subclass Gesture Communication) Merge.kif 13230-13230 Gesture は コミュニケーション の subclass では
(subclass InPersonCommunication Communication) Media.kif 218-218 InPersonCommunication は コミュニケーション の subclass では
(subclass Indicating Communication) Mid-level-ontology.kif 1009-1009 Indicating は コミュニケーション の subclass では
(subclass LinguisticCommunication Communication) Merge.kif 13265-13265 LinguisticCommunication は コミュニケーション の subclass では
(subclass Telephoning Communication) Mid-level-ontology.kif 3422-3422 Telephoning は コミュニケーション の subclass では
(termFormat ChineseLanguage Communication "沟通") chinese_format.kif 1195-1195 Telephoning は コミュニケーション の subclass では
(termFormat EnglishLanguage Communication "communication") english_format.kif 1607-1607 Telephoning は コミュニケーション の subclass では
(termFormat FrenchLanguage Communication "communication") french_format.kif 873-873 Telephoning は コミュニケーション の subclass では
(termFormat Hindi Communication "sanchaarana") terms-hindi.txt 406-406 Telephoning は コミュニケーション の subclass では
(termFormat ItalianLanguage Communication "Comunicazione") terms-it.txt 409-409 Telephoning は コミュニケーション の subclass では
(termFormat JapaneseLanguage Communication "コミュニケーション") japanese_format.kif 2557-2557 Telephoning は コミュニケーション の subclass では
(termFormat PortugueseLanguage Communication "Communicacao") portuguese_format.kif 825-825 Telephoning は コミュニケーション の subclass では
(termFormat cb Communication "komunikasyon") terms-cb.txt 411-411 Telephoning は コミュニケーション の subclass では
(termFormat cz Communication "communication") terms-cz.txt 445-445 Telephoning は コミュニケーション の subclass では
(termFormat de Communication "Kommunikation") terms-de.txt 704-704 Telephoning は コミュニケーション の subclass では
(termFormat ro Communication "comunicare") relations-ro.kif 894-894 Telephoning は コミュニケーション の subclass では
(termFormat tg Communication "pagbibigay-alam") terms-tg.txt 410-410 Telephoning は コミュニケーション の subclass では

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 13184-13193

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 1358-1369
(=>
    (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 26757-26778
(=>
    (holdsDuring ?T
        (attribute ?H AVPUAlertStatus))
    (holdsDuring ?T
        (capability ?H agent Communication)))		 Medicine.kif 6445-6449
(=>
    (instance ?CO CommunicationOrganization)
    (exists (?CS ?C)
        (and
            (instance ?C Communication)
            (instance ?CS CommunicationSystem)
            (instrument ?C ?CS)
            (agent ?C ?CO))))		 Mid-level-ontology.kif 8752-8759
(=>
    (instance ?DEVICE CommunicationDevice)
    (capability Communication instrument ?DEVICE))		 Mid-level-ontology.kif 3409-3411
(=>
    (instance ?DOC Document)
    (hasPurpose ?DOC
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (instrument ?COMM ?DOC)))))		 Mid-level-ontology.kif 28300-28306
(=>
    (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 13428-13439
(=>
    (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 4230-4244
(=>
    (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 28948-28970


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