Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WriteOnceDataStorage
|
|
|
| appearance as argument number 1 |
|
|
| (subclass WriteOnceDataStorage DigitalDataStorageDevice) | Media.kif 705-705 | Write once data storage is a subclass of digital data storage device |
| (documentation WriteOnceDataStorage EnglishLanguage "A DigitalDataStorageDevice on which the DigitalData once written can not be deleted or altered, e.g. CD-R, DVD-R.") | Media.kif 706-706 | Write once data storage is a subclass of digital data storage device |
| appearance as argument number 2 |
|
|
| (subclass CDR WriteOnceDataStorage) | Media.kif 1124-1124 | R is a subclass of write once data storage |
| (termFormat EnglishLanguage WriteOnceDataStorage "write once data storage") | domainEnglishFormat.kif 65752-65752 | R is a subclass of write once data storage |
| antecedent |
|
|
| (=> (instance ?X WriteOnceDataStorage) (exists (?WRITE1 ?DATA1) (and (modalAttribute (and (instance ?WRITE1 Writing) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (dataStored ?DATA1 ?X))) Possibility) (not (modalAttribute (exists (?WRITE2 ?DATA2) (and (dataStored ?DATA2 ?X) (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (not (equal ?WRITE1 ?WRITE2)) (patient ?WRITE2 ?DATA2))) Possibility))))) |
Media.kif 707-730 | If X is an instance of write once data storage, then All of the following hold: (1) there exist Y (2) Z such that the statement Y is an instance of writing (3) X is a patient of Y (4) Z is a patient of Y (5) X is stored on Z holds during immediately after the time of existence of Y has the modal force of possibility (6) the statement there don't exist W (7) V such that X is stored on V (8) W is an instance of content development or W is an instance of deleting data (9) equal Y (10) W (11) V is a patient of W doesn't have the modal force of possibility |
|