TreeView Knowledge Base Browser - Messaging

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Messaging

Messaging(messaging)

transmission, transmittal, transmitting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7589-7590
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7588-7588	Messaging is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4163-4163	Network messaging is a subclass of messaging
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37226-37226	Network messaging is a subclass of messaging
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37225-37225	Network messaging is a subclass of messaging
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37224-37224	Network messaging is a subclass of messaging

antecedent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7592-7597	If a process is an instance of messaging, then there exists an entity such that the entity is an instance of message and the entity is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 316-334	If a process is an instance of telemetry, then there exist an object, an agent,, , another object,, , a physical,, , another process and a third process such that the other process is an instance of measuring and the agent is an instance of measuring device and the object is an instance of region and the other object is an instance of region and the third process is an instance of messaging and the third process is a subprocess of the process and the other process is a subprocess of the process and the physical is an instance of electronic data storage device and the agent is an agent of the other process and the agent is located at the object and the physical is located at the other object and the other process is located at the object and equal the other object and the object and the third process originates at the agent and the third process ends up at the physical
No TPTP formula. May not be expressible in strict first order.	Communications.kif 185-200	If a physical is an instance of telex, then the physical has the purpose there exist an entity, the physical2 and a third entity such that the entity is an instance of telephone system and the physical2 is an instance of telex and the third entity is an instance of messaging and the third entity originates at the physical and the third entity ends up at the physical2 or the third entity originates at the physical2 and the third entity ends up at the physical and the entity is path along which the third entity occurs

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