TreeView Knowledge Base Browser - Communication

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Communication

Communication(communication)

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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3239-3242
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13060-13065
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6304-6304
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13058-13058	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 2944-2944	Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13059-13059	Communication is internally related to content development
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13057-13057	Communication is a subclass of content bearing process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13056-13056	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 26997-26997	Artifact mediated communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13078-13078	Disseminating is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13130-13130	Expressing is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13113-13113	Gesture is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Media.kif 218-218	In person communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1016-1016	Indicating is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13148-13148	Linguistic communication is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2959-2959	Telephoning is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1195-1195
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1607-1607
No TPTP formula. May not be expressible in strict first order.	french_format.kif 873-873
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 406-406
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 409-409
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2557-2557
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 825-825
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 411-411
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 445-445
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 894-894
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 410-410

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3025-3032	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.	Merge.kif 13067-13076	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 1347-1358	If an engineering component is a component of internet and another engineering component is a component of internet and the engineering component is not equal to 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25113	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 the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6427-6431	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7584-7591	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 2946-2948	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 26387-26393	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13311-13322	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4235-4249	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27035-27057	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