| 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 12123-12128 | |
| (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 12121-12121 | |
| (relatedInternalConcept Communication CommunicationDevice) | Mid-level-ontology.kif 3430-3430 | |
| (relatedInternalConcept Communication ContentDevelopment) | Merge.kif 12122-12122 | |
| (subclass Communication ContentBearingProcess) | Merge.kif 12120-12120 | |
| (subclass Communication SocialInteraction) | Merge.kif 12119-12119 |
| appearance as argument number 2 |
|
|
| (subclass ArtifactMediatedCommunication Communication) | Mid-level-ontology.kif 25293-25293 | |
| (subclass Disseminating Communication) | Merge.kif 12141-12141 | |
| (subclass Expressing Communication) | Merge.kif 12193-12193 | |
| (subclass Gesture Communication) | Merge.kif 12176-12176 | |
| (subclass InPersonCommunication Communication) | Media.kif 218-218 | |
| (subclass Indicating Communication) | Mid-level-ontology.kif 1403-1403 | |
| (subclass LinguisticCommunication Communication) | Merge.kif 12211-12211 | |
| (subclass Telephoning Communication) | Mid-level-ontology.kif 3446-3446 | |
| (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 12130-12139 |
| 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 1299-1310 | |
| (=> (instance ?CO CommunicationOrganization) (exists (?CS ?C) (and (instance ?C Communication) (instance ?CS CommunicationSystem) (instrument ?C ?CS) (agent ?C ?CO)))) |
Mid-level-ontology.kif 7274-7281 | |
| (=> (instance ?DEVICE CommunicationDevice) (capability Communication instrument ?DEVICE)) |
Mid-level-ontology.kif 3432-3434 | |
| (=> (instance ?DOC Document) (hasPurpose ?DOC (exists (?COMM) (and (instance ?COMM Communication) (instrument ?COMM ?DOC))))) |
Mid-level-ontology.kif 24498-24504 | |
| (=> (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 12374-12385 | |
| (=> (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 4155-4169 | |
| (=> (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 25331-25353 |
|
|
|