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 6651-6652
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6650-6650	Messaging is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4168-4168	Network messaging is a subclass of messaging
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37217-37217
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37216-37216
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37215-37215

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 6654-6659	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 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