TreeView Knowledge Base Browser

appearance as argument number 3

(domain stored 2 DataStorageDevice)	Mid-level-ontology.kif 14387-14387	Die Zahl 2 Argument von stored ist ein fall von DataStorageDevice %n{nicht}
(domainSubclass AlbumCopiesFn 2 DataStorageDevice)	Music.kif 931-931	Die Zahl 2 Argument von AlbumCopiesFn ist eine teilkategorie von DataStorageDevice %n{nicht}

antecedent

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

Mid-level-ontology.kif 14407-14413

consequent

(=> (instance ?DSAVE DataSaving) (exists (?DSTORE) (and (instance ?DSTORE DataStorageDevice) (resource ?DSAVE ?DSTORE))))	QoSontology.kif 1914-1919	Wenn Process ist ein fall von DataSaving %n{nicht}, dann es gibt Object um Object ist ein fall von DataStorageDevice %n{nicht} und Object ist ein hilfmittel fuer ** Process %n{nicht}
(=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (stored ?REC ?DS))))	Mid-level-ontology.kif 14367-14372	Wenn record ContentBearingObject and Physical, dann es gibt DataStorageDevice um DataStorageDevice ist ein fall von DataStorageDevice %n{nicht} und stored ContentBearingObject and ** DataStorageDevice

(documentation DataStorageDevice EnglishLanguage "An instance of DataStorageDevice is a Device intended to be used for storing data (information).")	Mid-level-ontology.kif 25652-25654
(subclass DataStorageDevice Device)	Mid-level-ontology.kif 25651-25651	DataStorageDevice ist eine teilkategorie von Device

(rangeSubclass AlbumCopiesFn DataStorageDevice)	Music.kif 932-932	Die werte die AlbumCopiesFn zurueckgibt sind teilkategorien von DataStorageDevice
(subclass AudioDataStorageDevice DataStorageDevice)	Media.kif 817-817	AudioDataStorageDevice ist eine teilkategorie von DataStorageDevice
(subclass Blackboard DataStorageDevice)	Media.kif 1086-1086	Blackboard ist eine teilkategorie von DataStorageDevice
(subclass ElectronicDataStorageDevice DataStorageDevice)	Media.kif 684-684	ElectronicDataStorageDevice ist eine teilkategorie von DataStorageDevice
(subclass HardcopyDocument DataStorageDevice)	Media.kif 1032-1032	HardcopyDocument ist eine teilkategorie von DataStorageDevice
(subclass PrintedSheet DataStorageDevice)	Media.kif 1067-1067	PrintedSheet ist eine teilkategorie von DataStorageDevice
(subclass VideoDataStorageDevice DataStorageDevice)	Media.kif 837-837	VideoDataStorageDevice ist eine teilkategorie von DataStorageDevice
(subclass Whiteboard DataStorageDevice)	Mid-level-ontology.kif 25656-25656	Whiteboard ist eine teilkategorie von DataStorageDevice
(termFormat EnglishLanguage DataStorageDevice "data storage device")	domainEnglishFormat.kif 64745-64745