Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Messaging(messaging) |  | transmission, transmittal, transmitting |
| appearance as argument number 1 |
|
|
| (subclass Messaging Transfer) | Mid-level-ontology.kif 7739-7739 | Messaging is a subclass of transfer |
| (documentation Messaging EnglishLanguage "Any instance of Transfer where a Message is the patient.") | Mid-level-ontology.kif 7740-7741 | Messaging is a subclass of transfer |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?MESSAGING Messaging) (exists (?M) (and (instance ?M Message) (patient ?MESSAGING ?M)))) |
Mid-level-ontology.kif 7743-7748 | If X is an instance of messaging, then there exists Y such that Y is an instance of message and Y is a patient of X |
| (=> (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 183-195 | If X ends up at Y, X is an instance of messaging, Z is a patient of X, and Y is an instance of telex, then there exist W, V such that Y is an instrument for W, V is a result of W, V expresses Z, V is an instance of text, and the beginning of the time of existence of X happens before the beginning of the time of existence of W |
| 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 166-181 | If X is an instance of telex, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of telephone system (3) Z is an instance of telex (4) W is an instance of messaging (5) W originates at X (6) W ends up at Z or W originates at Z (7) W ends up at X (8) Y is path along which W occurs |
| (=> (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 322-340 | If X is an instance of telemetry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that U is an instance of measuring (3) Z is an instance of measuring device (4) Y is an instance of region (5) W is an instance of region (6) T is an instance of messaging (7) T is a subprocess of X (8) U is a subprocess of X (9) V is an instance of electronic data storage device (10) Z is an agent of U (11) Z is located at Y (12) V is located at W (13) U is located at Y (14) equal W (15) Y (16) T originates at Z (17) T ends up at V |
|