Messaging - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Messaging EnglishLanguage "Any instance of Transfer where a Message is the patient.")	Mid-level-ontology.kif 6312-6313
(subclass Messaging Transfer)	Mid-level-ontology.kif 6311-6311	Messaging is a subclass of transfer

appearance as argument number 2

(subclass NetworkMessaging Messaging)	ComputingBrands.kif 4131-4131	Network messaging is a subclass of messaging
(termFormat ChineseLanguage Messaging "讯息")	domainEnglishFormat.kif 37206-37206
(termFormat ChineseTraditionalLanguage Messaging "訊息")	domainEnglishFormat.kif 37205-37205
(termFormat EnglishLanguage Messaging "messaging")	domainEnglishFormat.kif 37204-37204

antecedent

(=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC))))))	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
(=> (instance ?MESSAGING Messaging) (exists (?M) (and (instance ?M Message) (patient ?MESSAGING ?M))))	Mid-level-ontology.kif 6315-6320	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

(=>
    (instance ?TELEX Telex)
    (hasPurpose ?TELEX
        (exists (?SYS ?TELEX2 ?MSG)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?TELEX2 Telex)
                (instance ?MSG Messaging)
                (or
                    (and
                        (origin ?MSG ?TELEX)
                        (destination ?MSG ?TELEX2))
                    (and
                        (origin ?MSG ?TELEX2)
                        (destination ?MSG ?TELEX)))
                (path ?MSG ?SYS)))))

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 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: