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 7201-7202
(subclass Messaging Transfer)	Mid-level-ontology.kif 7200-7200	Messaging is a subclass of transfer

appearance as argument number 2

(subclass NetworkMessaging Messaging)	ComputingBrands.kif 4168-4168	Network messaging is a subclass of messaging
(termFormat ChineseLanguage Messaging "讯息")	domainEnglishFormat.kif 37243-37243	Network messaging is a subclass of messaging
(termFormat ChineseTraditionalLanguage Messaging "訊息")	domainEnglishFormat.kif 37242-37242	Network messaging is a subclass of messaging
(termFormat EnglishLanguage Messaging "messaging")	domainEnglishFormat.kif 37241-37241	Network messaging is a subclass of messaging

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 7204-7209	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: