Communication - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Communication

Communication(communication)

AM, Communicacao, Comunicazione, FM, Hadith, Rediffusion, Word_of_God, aah, abandon, abduce, abjure, absolve, absorb, abuse, accent, accentuate, access, accost, acknowledge, acquaint, actualise, actualize, address, adduce, admonish, adulate, adumbrate, advert, affirm, affront, agglutinate, aggrandise, aggrandize, aim, airing, alarmism, alert, alerting, allude, amplitude_modulation, anathemise, anathemize, animadversion, animadvert, announce, annul, annunciate, anomalous_communication, answer, answering...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12843-12846
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12837-12842
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6305-6305	"http://upload.wikimedia.org/wikipedia/en/8/8c/North-America.png" is a URL depicting communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12835-12835	Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3424-3424	Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12836-12836	Communication is internally related to content development
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12834-12834	Communication is a subclass of content bearing process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12833-12833	Communication is a subclass of social interaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24808-24808	Artifact mediated communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12859-12859	Disseminating is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12921-12921	Expressing is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12900-12900	Gesture is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Media.kif 218-218	InPersonCommunication is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1402-1402	Indicating is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12942-12942	Linguistic communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3440-3440	Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Facebook.kif 265-265	Wall post is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1195-1195	"沟通" is the printable form of communication in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 882-882	"communication" is the printable form of communication in english language
No TPTP formula. May not be expressible in strict first order.	french_format.kif 873-873	"communication" is the printable form of communication in french language
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 406-406	"sanchaarana" is the printable form of communication in Hindi
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 407-407	"Comunicazione" is the printable form of communication in italian language
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 825-825	"Communicacao" is the printable form of communication in portuguese language
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 411-411	"komunikasyon" is the printable form of communication in cb
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 445-445	"communication" is the printable form of communication in cz
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 410-410	"pagbibigay-alam" is the printable form of communication in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 493-502	If an engineering component is an instance of CableModem 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 CommunicationCable and the other engineering component is an instrument for the process and the other engineering component is connected to the engineering component
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2871-2878	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
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 102-107	If a content bearing physical is an instance of communication, then there exists a proposition such that the proposition is an instance of proposition and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12848-12857	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

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1294-1305	If an agent is a component of internet and an engineering component is a component of internet and the agent is not equal to the engineering component, then internet has purpose there exists a process such that the process is an instance of communication and the agent is an agent of the process and the process ends up at the engineering component and internet is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7288-7295	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3426-3428	If an object is an instance of communication device, then the object is capable of doing communication as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24013-24019	If an object is an instance of Document, then the object has purpose there exists a process such that the process is an instance of communication and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 607-613	If an object is an instance of ExpenseReport, then the object has purpose there exists a process such that the process is an instance of communication and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13135-13146	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 purpose there exists another process such that the other process is an instance of communication and the agent is an agent of the other process and the other agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24875-24894	If a process is an instance of direct dial telephone communication, then there doesn't exist an agent such that the agent is an instance of human and the agent has purpose there exists another process such that the other process is an instance of intentional process and the agent is an agent of the other process and the other process is a subprocess of the process and an entity is a result of the other process and the entity is equal to the statement there exists a third process such that the third process is an instance of communication and the third process originates at an object and the third process ends up at another entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24846-24866	If a process is an instance of operator assisted telephone communication, then there exist an object, an entity and an agent such that the process originates at the object and the process ends up at the entity and the agent is an instance of human and the agent has purpose there exists another process such that the other process is an instance of intentional process and the agent is an agent of the other process and the other process is a subprocess of the process and another entity is a result of the other process and the other entity is equal to the statement there exists a third process such that the third process is an instance of communication and the third process originates at the object and the third process ends up at the entity has the modal force of possibility

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners