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 13060-13065 | |
(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 13058-13058 | Communication wird vollstaendig in Stating, Supposing, Directing, Committing, Expressing, und Declaring verteilt |
(relatedInternalConcept Communication CommunicationDevice) | Mid-level-ontology.kif 2944-2944 | Communication ist innerlich verwandt mit CommunicationDevice %n{nicht} |
(relatedInternalConcept Communication ContentDevelopment) | Merge.kif 13059-13059 | Communication ist innerlich verwandt mit ContentDevelopment %n{nicht} |
(subclass Communication ContentBearingProcess) | Merge.kif 13057-13057 | Communication ist eine teilkategorie von ContentBearingProcess |
(subclass Communication SocialInteraction) | Merge.kif 13056-13056 | Communication ist eine teilkategorie von SocialInteraction |
appearance as argument number 2 |
antecedent |
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 25092-25113 |
|
(=> (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 7584-7591 |
|
(=> (instance ?DEVICE CommunicationDevice) (capability Communication instrument ?DEVICE)) |
Mid-level-ontology.kif 2946-2948 |
|
(=> (instance ?DOC Document) (hasPurpose ?DOC (exists (?COMM) (and (instance ?COMM Communication) (instrument ?COMM ?DOC))))) |
Mid-level-ontology.kif 26387-26393 |
|
(=> (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 13311-13322 |
|
(=> (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 27035-27057 |
|