Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RewritableDataStorage
RewritableDataStorage(rewritable data storage)

appearance as argument number 1
-------------------------


(subclass RewritableDataStorage DigitalDataStorageDevice) Media.kif 739-739 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 740-740 Rewritable data storage is a subclass of digital data storage device

appearance as argument number 2
-------------------------


(subclass CDRW RewritableDataStorage) Media.kif 1185-1185 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)
    (and
        (modalAttribute
            (exists (?WRITE1 ?DATA1)
                (and
                    (instance ?WRITE1 Writing)
                    (patient ?WRITE1 ?X)
                    (patient ?WRITE1 ?DATA1)
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?WRITE1))
                        (stored ?DATA1 ?X)))) Possibility)
        (modalAttribute
            (exists (?WRITE2 ?DATA2)
                (and
                    (stored ?DATA2 ?X)
                    (or
                        (instance ?WRITE2 ContentDevelopment)
                        (instance ?WRITE2 DeletingData))
                    (not
                        (equal ?WRITE1 ?WRITE2))
                    (patient ?WRITE2 ?DATA2))) Possibility)))		 Media.kif 741-763 If X is an instance of rewritable data storage, then the statement there exist Y, Z such that Y is an instance of writing, X is a patient of Y, Z is a patient of Y, and Z is stored on X holds during immediately after the time of existence of Y has the modal force of possibility and the statement there exist W, V such that V is stored on X, W is an instance of content development or W is an instance of deleting data, equal Y, W, and V is a patient of W has the modal force of possibility


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners