| DataStorageDevice | | recording |
| appearance as argument number 1 |
|
|
| s__documentation(s__DataStorageDevice,s__EnglishLanguage,'An instance of DataStorageDevice is a Device intended to be used for storing data (information).')
|
Mid-level-ontology.kif 23536-23538 | |
| s__subclass(s__DataStorageDevice,s__Device) s__instance(s__Device,s__SetOrClass) s__instance(s__DataStorageDevice,s__SetOrClass)
|
Mid-level-ontology.kif 23535-23535 | DataStorageDevice is a subclass of device |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__stored__m,2,s__DataStorageDevice)
|
Mid-level-ontology.kif 11977-11977 | The number 2 argument of stored is an instance of DataStorageDevice |
| s__domainSubclass(s__AlbumCopiesFn__m,2,s__DataStorageDevice)
|
Music.kif 933-933 | The number 2 argument of album copies function is a subclass of DataStorageDevice |
| antecedent |
|
|
| ( ! [V__DSTORE] : ((s__instance(V__DSTORE,s__DataStorageDevice)s__and__ms__attribute(V__DSTORE,s__Blank)) s__=>(s__not__m(s__exists__m[V__DATA] : (s__instance(V__DATA,s__ContentBearingObject)s__and__ms__stored(V__DATA,V__DSTORE))))) )
|
Mid-level-ontology.kif 11997-12003 |
|
| consequent |
|
|
| ( ! [V__DSAVE] : (s__instance(V__DSAVE,s__DataSaving)s__=>(s__exists__m[V__DSTORE] : (s__instance(V__DSTORE,s__DataStorageDevice)s__and__ms__resource(V__DSAVE,V__DSTORE)))) )
|
QoSontology.kif 1908-1913 |
|
| ( ! [V__REC,V__PHYS] : ((s__instance(V__REC,s__ContentBearingObject)s__and__ms__instance(V__PHYS,s__Physical)) s__=>(s__record(V__REC,V__PHYS) s__=>(s__exists__m[V__DS] : (s__instance(V__DS,s__DataStorageDevice)s__and__ms__stored(V__REC,V__DS))))) )
|
Mid-level-ontology.kif 11957-11962 |
|
|
|
|