Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VCRSystem(vcr system) |  | VCR, videocassette_recorder |
| appearance as argument number 1 |
|
|
| (subclass VCRSystem MediaSystem) | Media.kif 1329-1329 | Vcr system is a subclass of media system |
| (documentation VCRSystem EnglishLanguage "VCRSystem is a type of MediaSystem that can play AudioRecording and VideoRecording that is stored in a VHS") | Media.kif 1330-1331 | Vcr system is a subclass of media system |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VCRSystem "vcr system") | Media.kif 1332-1332 |
| antecedent |
|
|
| (=> (instance ?VCR VCRSystem) (hasPurpose ?VCR (exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS) (and (instance ?VHS VHSCassette) (instrument ?PROC ?VCR) (patient ?PROC ?VHS) (instance ?VIDEO VideoRecording) (represents ?AVIDEO ?VIDEO) (part ?VIDEO ?VHS) (instance ?AUDIO AudioRecording) (represents ?AAUDIO ?AUDIO) (part ?AAUDIO ?AVIDEO) (part ?AUDIO ?VHS) (instance ?RL RadiatingLight) (patient ?RL ?VIDEO) (subProcess ?RL ?PROC) (instance ?RS RadiatingSound) (patient ?RS ?AUDIO) (subProcess ?RS ?PROC))))) |
Media.kif 1334-1354 | If X is an instance of vcr system, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U,, , T,, , S (2) R such that Y is an instance of VHS cassette (3) X is an instrument for Z (4) Y is a patient of Z (5) W is an instance of video recording (6) V expresses W (7) W is a part of Y (8) T is an instance of audio recording (9) S expresses T (10) S is a part of V (11) T is a part of Y (12) U is an instance of radiating light (13) W is a patient of U (14) U is a subprocess of Z (15) R is an instance of radiating sound (16) T is a patient of R (17) R is a subprocess of Z |
|