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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4139-4139	Network messaging is a subclass of messaging
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37206-37206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37205-37205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37204-37204

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 5694-5699	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