| Messaging | |
| 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 |
| appearance as argument number 2 |
|
|
| (subclass NetworkMessaging Messaging) | ComputingBrands.kif 4168-4168 | |
| (termFormat ChineseLanguage Messaging "讯息") | domainEnglishFormat.kif 37217-37217 | |
| (termFormat ChineseTraditionalLanguage Messaging "訊息") | domainEnglishFormat.kif 37216-37216 | |
| (termFormat EnglishLanguage Messaging "messaging") | domainEnglishFormat.kif 37215-37215 |
| 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 6649-6654 |
| 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 |
|
|
|