Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VHSCassette(VHS cassette) |
| appearance as argument number 1 |
|
| (documentation VHSCassette EnglishLanguage "An instance of VHSCassette is a VideoCassette in which data is encoded in the VHS format.") | Media.kif 1320-1322 | |
| (subclass VHSCassette VideoCassette) | Media.kif 1327-1327 | VHS cassette is a subclass of video cassette |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VHSCassette "VHS cassette") | domainEnglishFormat.kif 65684-65684 |
| consequent |
|
|
| (=> (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 |
|