| Messaging | |
| appearance as argument number 1 |
|
|
| (documentation Messaging EnglishLanguage "Any instance of Transfer where a Message is the patient.") | Mid-level-ontology.kif 6285-6286 | |
| (subclass Messaging Transfer) | Mid-level-ontology.kif 6284-6284 | subclass Messaging and Transfer |
| appearance as argument number 2 |
|
|
| (subclass NetworkMessaging Messaging) | ComputingBrands.kif 4093-4093 | subclass NetworkMessaging and Messaging |
| (termFormat ChineseLanguage Messaging "讯息") | domainEnglishFormat.kif 37117-37117 | |
| (termFormat ChineseTraditionalLanguage Messaging "訊息") | domainEnglishFormat.kif 37116-37116 | |
| (termFormat EnglishLanguage Messaging "messaging") | domainEnglishFormat.kif 37115-37115 |
| 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 | |
| (=> (instance ?MESSAGING Messaging) (exists (?M) (and (instance ?M Message) (patient ?MESSAGING ?M)))) |
Mid-level-ontology.kif 6288-6293 |
| 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 |
|
|
|
|