TreeView Knowledge Base Browser

appearance as argument number 1

(documentation DataStorageDevice EnglishLanguage "An instance of DataStorageDevice is a Device intended to be used for storing data (information).")	Mid-level-ontology.kif 25619-25621
(subclass DataStorageDevice Device)	Mid-level-ontology.kif 25618-25618	DataStorageDevice 是设备的 subclass

appearance as argument number 2

(rangeSubclass AlbumCopiesFn DataStorageDevice)	Music.kif 932-932	AlbumCopiesFn 的所得值是 DataStorageDevice 的 subclass
(subclass AudioDataStorageDevice DataStorageDevice)	Media.kif 817-817	AudioDataStorageDevice 是 DataStorageDevice 的 subclass
(subclass Blackboard DataStorageDevice)	Media.kif 1086-1086	Blackboard 是 DataStorageDevice 的 subclass
(subclass ElectronicDataStorageDevice DataStorageDevice)	Media.kif 684-684	ElectronicDataStorageDevice 是 DataStorageDevice 的 subclass
(subclass HardcopyDocument DataStorageDevice)	Media.kif 1032-1032	HardcopyDocument 是 DataStorageDevice 的 subclass
(subclass PrintedSheet DataStorageDevice)	Media.kif 1067-1067	PrintedSheet 是 DataStorageDevice 的 subclass
(subclass VideoDataStorageDevice DataStorageDevice)	Media.kif 837-837	VideoDataStorageDevice 是 DataStorageDevice 的 subclass
(subclass Whiteboard DataStorageDevice)	Mid-level-ontology.kif 25623-25623	Whiteboard 是 DataStorageDevice 的 subclass
(termFormat EnglishLanguage DataStorageDevice "data storage device")	domainEnglishFormat.kif 64743-64743

appearance as argument number 3

(domain stored 2 DataStorageDevice)	Mid-level-ontology.kif 14360-14360	stored 的 2 数量是 DataStorageDevice 的 instance
(domainSubclass AlbumCopiesFn 2 DataStorageDevice)	Music.kif 931-931	AlbumCopiesFn 的 2 数量是 DataStorageDevice 的 subclass

antecedent

(=>
    (and
        (instance ?DSTORE DataStorageDevice)
        (attribute ?DSTORE Blank))
    (not
        (exists (?DATA)
            (stored ?DATA ?DSTORE))))

Mid-level-ontology.kif 14380-14386

consequent

(=> (instance ?DSAVE DataSaving) (exists (?DSTORE) (and (instance ?DSTORE DataStorageDevice) (resource ?DSAVE ?DSTORE))))	QoSontology.kif 1914-1919	如果过程是数据保存的 instance，然后有存在客体这样那个客体是 DataStorageDevice 的 instance 和那个客体是那个过程的 resource
(=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (stored ?REC ?DS))))	Mid-level-ontology.kif 14340-14345	如果有内用物体是个物理的 record ，然后有存在 DataStorageDevice 这样那个 DataStorageDevice 是 DataStorageDevice 的 instance 和那个有内用物体是 stored 在那个 DataStorageDevice