TreeView Knowledge Base Browser

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 13192-13197
(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 13190-13190	Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
(relatedInternalConcept Communication CommunicationDevice)	Mid-level-ontology.kif 3407-3407	Communication is internally related to communication device
(relatedInternalConcept Communication ContentDevelopment)	Merge.kif 13191-13191	Communication is internally related to content development
(subclass Communication ContentBearingProcess)	Merge.kif 13189-13189	Communication is a subclass of content bearing process
(subclass Communication SocialInteraction)	Merge.kif 13188-13188	Communication is a subclass of social interaction

appearance as argument number 2

(subclass ArtifactMediatedCommunication Communication)	Mid-level-ontology.kif 28908-28908	Artifact mediated communication is a subclass of communication
(subclass Disseminating Communication)	Merge.kif 13210-13210	Disseminating is a subclass of communication
(subclass Expressing Communication)	Merge.kif 13262-13262	Expressing is a subclass of communication
(subclass Gesture Communication)	Merge.kif 13245-13245	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 13280-13280	Linguistic communication is a subclass of communication
(subclass Telephoning Communication)	Mid-level-ontology.kif 3422-3422	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	If an engineering component is an instance of cable modem and a process is an instance of communication and the engineering component is an instrument for the process, then there exists another engineering component such that the other engineering component is an instance of cable and the other engineering component is an instrument for the process and the other engineering component is connected to the engineering component
(=> (and (instance ?PROP Proposition) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?PROP) (instance ?COMM Communication) (patient ?COMM ?CBO)) (represents ?COMM ?PROP))	Geography.kif 3321-3328	If a proposition is an instance of proposition and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of communication and the content bearing physical is a patient of the process, then the process expresses the proposition
(=> (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 13199-13208	If a process is an instance of communication, then there exist an entity, another entity,, , an agent and a third entity such that the entity includes a reference to the other entity and the entity is a patient of the process and the agent is an instance of cognitive agent and the agent is an agent of the process and the third entity is an instance of cognitive agent and the process ends up at the third entity

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	If an engineering component is a component of internet and another engineering component is a component of internet and equal the engineering component and the other engineering component, then internet has the purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity
(=> (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 26755-26776	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and equal the beginning of the time of existence of the other entity and the beginning of immediately after the time of existence of the entity has the modal force of likely
(=> (holdsDuring ?T (attribute ?H AVPUAlertStatus)) (holdsDuring ?T (capability ?H agent Communication)))	Medicine.kif 6445-6449	If AVPU alert status is an attribute of an entity holds during a time position, then communication is capable of doing the entity as a agent holds during the time position
(=> (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	If an agent is an instance of communication organization, then there exist an object and a process such that the process is an instance of communication and the object is an instance of communication system and the object is an instrument for the process and the agent is an agent of the process
(=> (instance ?DEVICE CommunicationDevice) (capability Communication instrument ?DEVICE))	Mid-level-ontology.kif 3409-3411	If an object is an instance of communication device, then the object is capable of doing communication as a instrument
(=> (instance ?DOC Document) (hasPurpose ?DOC (exists (?COMM) (and (instance ?COMM Communication) (instrument ?COMM ?DOC)))))	Mid-level-ontology.kif 28298-28304	If a physical is an instance of document, then the physical has the purpose there exists an entity such that the entity is an instance of communication and the physical is an instrument for the entity
(=> (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 13443-13454	If a process is an instance of meeting, then there exist an agent and another agent such that the agent is an agent of the process and the other agent is an agent of the process and the process has the purpose there exists an entity such that the entity is an instance of communication and the agent is an agent of the entity and the other agent is an agent of the entity
(=> (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	If a process is an instance of phishing, then there exist a cognitive agent, another cognitive agent,, , another process and a formula such that the other process is an instance of communication and the other process originates at the cognitive agent and the cognitive agent is an agent of the process and the other process ends up at the other cognitive agent and the formula is an instance of formula and the other cognitive agent knows the formula and the other cognitive agent doesn't desire the cognitive agent knows the formula and the cognitive agent desires the cognitive agent knows the formula
(=> (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 28946-28968	If a process is an instance of operator assisted telephone communication, then there exist an object, an entity and a physical such that the process originates at the object and the process ends up at the entity and the physical is an instance of human and the physical has the purpose there exists another entity such that the other entity is an instance of intentional process and the physical is an agent of the other entity and the other entity is a subprocess of the process and the statement there exists a third entity such that the third entity is an instance of communication and the third entity originates at the object and the third entity ends up at the entity has the modal force of possibility holds during immediately after the time of existence of the other entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: