Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| dataStored |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage dataStored "data stored") | Mid-level-ontology.kif 15958-15958 | |
| (format EnglishLanguage dataStored "%2 is %n stored on %1") | Mid-level-ontology.kif 15959-15959 | |
| (format EnglishLanguage dataStored "%1 is stored on %2") | domainEnglishFormat.kif 4652-4652 | |
| (format ChineseTraditionalLanguage dataStored "%1 是 stored 在 %2 ") | domainEnglishFormat.kif 4653-4653 | |
| (format ChineseLanguage dataStored "%1 是 stored 在 %2 ") | domainEnglishFormat.kif 4654-4654 |
| antecedent |
|
|
| (=> (dataStored ?O ?D) (exists (?P) (and (instance ?P Writing) (destination ?P ?D) (patient ?P ?O)))) |
Mid-level-ontology.kif 15964-15970 | If X is stored on Y, then there exists Z such that Z is an instance of writing, Z ends up at X, and Y is a patient of Z |
| (=> (holdsDuring ?T (dataStored ?O ?D)) (exists (?P) (and (instance ?P Writing) (destination ?P ?D) (patient ?P ?O) (earlier (WhenFn ?P) ?T)))) |
Mid-level-ontology.kif 15972-15980 | If X is stored on Y holds during Z, then there exists W such that W is an instance of writing, W ends up at X, Y is a patient of W, and the time of existence of W happens earlier than Z |
| consequent |
|
|
| (=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (dataStored ?REC ?DS)))) |
Mid-level-ontology.kif 15944-15949 | If X is a record of Y, then there exists Z such that Z is an instance of data storage device and Z is stored on X |
| (=> (and (instance ?DSTORE DataStorageDevice) (attribute ?DSTORE Blank)) (not (exists (?DATA) (dataStored ?DATA ?DSTORE)))) |
Mid-level-ontology.kif 15985-15991 | If X is an instance of data storage device and blank is an attribute of X, then there doesn't exist Y such that X is stored on Y |
| (=> (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 |
| (=> (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 |
| (=> (and (instance ?X ReadOnlyMemoryDataStorage) (instance ?FABRICATION Manufacture) (result ?FABRICATION ?X)) (not (modalAttribute (exists (?WRITE1 ?DATA1 ?WRITE2) (and (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (earlier (WhenFn ?FABRICATION) (WhenFn ?WRITE1)) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (dataStored ?DATA1 ?X)))) Possibility))) |
Media.kif 766-786 | If X is an instance of read only memory data storage, Y is an instance of manufacture, and X is a result of Y, then the statement there don't exist Z, W, V such that V is an instance of content development or V is an instance of deleting data, the time of existence of Y happens earlier than the time of existence of Z, X is a patient of Z, W is a patient of Z, and X is stored on W holds during immediately after the time of existence of Z doesn't have the modal force of possibility |
| (=> (and (equal ?D (AlbumCopiesFn ?A ?DS)) (instance ?X ?D)) (forall (?S) (=> (inList ?S ?A) (exists (?C) (and (copy ?C ?S) (dataStored ?C ?X)))))) |
Music.kif 938-948 | If equal X and the set of copies on Y of Z and W is an instance of X, then For all Object V: if V is a member of Z, then there exists U such that U is a copy of V and W is stored on U |
|