Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   AssameseBasedCreoleLanguage
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RewritableDataStorage DigitalDataStorageDevice) | Media.kif 733-733 | Rewritable data storage is a subclass of digital data storage device |
| (documentation RewritableDataStorage EnglishLanguage "A DigitalDataStorageDevice on which the stored DigitalData can be altered or deleted, e.g. CD-RW.") | Media.kif 734-735 | Rewritable data storage is a subclass of digital data storage device |
| appearance as argument number 2 |
|
|
| (subclass CDRW RewritableDataStorage) | Media.kif 1130-1130 | CD-RW is a subclass of rewritable data storage |
| (termFormat EnglishLanguage RewritableDataStorage "rewritable data storage") | domainEnglishFormat.kif 65415-65415 | CD-RW is a subclass of rewritable data storage |
| antecedent |
|
|
| (=> (instance ?X RewritableDataStorage) (exists (?WRITE1 ?DATA1) (and (modalAttribute (and (instance ?WRITE1 Writing) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (dataStored ?DATA1 ?X))) Possibility) (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 737-759 | If X is an instance of rewritable 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 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 has the modal force of possibility |
|