Messaging(訊息) | ![]() |
appearance as argument number 1 |
![]() |
(documentation Messaging EnglishLanguage "Any instance of Transfer where a Message is the patient.") | Mid-level-ontology.kif 7589-7590 | |
(subclass Messaging Transfer) | Mid-level-ontology.kif 7588-7588 | 子類 訊息 and Transfer |
appearance as argument number 2 |
![]() |
(subclass NetworkMessaging Messaging) | ComputingBrands.kif 4163-4163 | 子類 NetworkMessaging and 訊息 |
(termFormat ChineseLanguage Messaging "讯息") | domainEnglishFormat.kif 37226-37226 | 子類 NetworkMessaging and 訊息 |
(termFormat ChineseTraditionalLanguage Messaging "訊息") | domainEnglishFormat.kif 37225-37225 | 子類 NetworkMessaging and 訊息 |
(termFormat EnglishLanguage Messaging "messaging") | domainEnglishFormat.kif 37224-37224 | 子類 NetworkMessaging and 訊息 |
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 7592-7597 |
consequent |
![]() |
(=> (instance ?T Telemetry) (exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING) (and (instance ?MEASURING Measuring) (instance ?MEASURINGDEVICE MeasuringDevice) (instance ?REMOTELOCATION Region) (instance ?RECEIVINGLOCATION Region) (instance ?MESSAGING Messaging) (subProcess ?MESSAGING ?T) (subProcess ?MEASURING ?T) (instance ?RECEIVINGSTATION ElectronicDataStorageDevice) (agent ?MEASURING ?MEASURINGDEVICE) (located ?MEASURINGDEVICE ?REMOTELOCATION) (located ?RECEIVINGSTATION ?RECEIVINGLOCATION) (eventLocated ?MEASURING ?REMOTELOCATION) (not (equal ?RECEIVINGLOCATION ?REMOTELOCATION)) (origin ?MESSAGING ?MEASURINGDEVICE) (destination ?MESSAGING ?RECEIVINGSTATION)))) |
Communications.kif 316-334 |
|
(=> (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 |
![]() |
![]() |