TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DataStorageDevice Device)	Mid-level-ontology.kif 28186-28186	Data storage device is a subclass of device
(documentation DataStorageDevice EnglishLanguage "An instance of DataStorageDevice is a Device intended to be used for storing data (information).")	Mid-level-ontology.kif 28187-28189	Data storage device is a subclass of device

appearance as argument number 2

(subclass Whiteboard DataStorageDevice)	Mid-level-ontology.kif 28191-28191	Whiteboard is a subclass of data storage device
(subclass HardcopyDocument DataStorageDevice)	Mid-level-ontology.kif 28973-28973	Hardcopy document is a subclass of data storage device
(subclass PrintedSheet DataStorageDevice)	Mid-level-ontology.kif 28998-28998	Printed sheet is a subclass of data storage device
(subclass ElectronicDataStorageDevice DataStorageDevice)	Media.kif 678-678	Electronic data storage device is a subclass of data storage device
(subclass AudioDataStorageDevice DataStorageDevice)	Media.kif 815-815	Audio data storage device is a subclass of data storage device
(subclass VideoDataStorageDevice DataStorageDevice)	Media.kif 835-835	Video data storage device is a subclass of data storage device
(subclass Blackboard DataStorageDevice)	Media.kif 1031-1031	Blackboard is a subclass of data storage device
(rangeSubclass AlbumCopiesFn DataStorageDevice)	Music.kif 934-934	The values returned by album copies function are subclasses of data storage device
(termFormat EnglishLanguage DataStorageDevice "data storage device")	domainEnglishFormat.kif 64746-64746	The values returned by album copies function are subclasses of data storage device

appearance as argument number 3

(domain dataStored 2 DataStorageDevice)	Mid-level-ontology.kif 15962-15962	The number 2 argument of data stored is an instance of data storage device
(domainSubclass AlbumCopiesFn 2 DataStorageDevice)	Music.kif 933-933	The number 2 argument of album copies function is a subclass of data storage device

antecedent

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

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

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
(=> (instance ?DSAVE DataSaving) (exists (?DSTORE) (and (instance ?DSTORE DataStorageDevice) (resource ?DSAVE ?DSTORE))))	QoSontology.kif 2038-2043	If X is an instance of data saving, then there exists Y such that Y is an instance of data storage device and Y is a resource for X