Messaging(messaging) | transmission, transmittal, transmitting |
appearance as argument number 1 |
(documentation Messaging EnglishLanguage "Any instance of Transfer where a Message is the patient.") | Mid-level-ontology.kif 6646-6647 | |
(subclass Messaging Transfer) | Mid-level-ontology.kif 6645-6645 | 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 37217-37217 | |
(termFormat ChineseTraditionalLanguage Messaging "訊息") | domainEnglishFormat.kif 37216-37216 | |
(termFormat EnglishLanguage Messaging "messaging") | domainEnglishFormat.kif 37215-37215 |
antecedent |
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 |
|