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


KB Term:  Term intersection
English Word: 

Sigma KEE - ReadOnlyMemoryDataStorage
ReadOnlyMemoryDataStorage(read only memory data storage)

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


(subclass ReadOnlyMemoryDataStorage DigitalDataStorageDevice) Media.kif 766-766 Read only memory data storage is a subclass of digital data storage device
(documentation ReadOnlyMemoryDataStorage EnglishLanguage "A DigitalDataStorageDevice on which it is not possible to write or alter any DigitalData except during its fabrication.") Media.kif 767-767 Read only memory data storage is a subclass of digital data storage device

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


(subclass CDROM ReadOnlyMemoryDataStorage) Media.kif 1170-1170 CD-ROM is a subclass of read only memory data storage
(termFormat EnglishLanguage ReadOnlyMemoryDataStorage "read only memory data storage") domainEnglishFormat.kif 65391-65391 CD-ROM is a subclass of read only memory data storage

antecedent
-------------------------


(=>
    (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))
                        (stored ?DATA1 ?X)))) Possibility)))		 Media.kif 768-788 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 W is stored on X holds during immediately after the time of existence of Z doesn't have 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