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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectronicDataStorageDevice

Sigma KEE - ElectronicDataStorageDevice
ElectronicDataStorageDevice

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


s__documentation(s__ElectronicDataStorageDevice,s__EnglishLanguage,'"An instance of ElectronicDataStorageDevice is a DataStorageDevice intended to be used for storing data (information) in some encoding scheme designed to be interpreted by electronic devices."')

Media.kif 685-688
s__instance(s__DataStorageDevice,s__Class)

s__instance(s__ElectronicDataStorageDevice,s__Class)

s__subclass(s__ElectronicDataStorageDevice,s__DataStorageDevice)

Media.kif 684-684 ElectronicDataStorageDevice is a subclass of DataStorageDevice

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


s__instance(s__ElectronicDataStorageDevice,s__Class)

s__subclass(s__DigitalDataStorageDevice,s__ElectronicDataStorageDevice)

s__instance(s__DigitalDataStorageDevice,s__Class)

Media.kif 702-702 DigitalDataStorageDevice is a subclass of ElectronicDataStorageDevice
s__instance(s__ElectronicDataStorageDevice,s__Class)

s__instance(s__RecordingTape,s__Class)

s__subclass(s__RecordingTape,s__ElectronicDataStorageDevice)

Media.kif 1329-1329 RecordingTape is a subclass of ElectronicDataStorageDevice
s__subclass(s__TapeCassette,s__ElectronicDataStorageDevice)

s__instance(s__ElectronicDataStorageDevice,s__Class)

s__instance(s__TapeCassette,s__Class)

Media.kif 1307-1307 TapeCassette is a subclass of ElectronicDataStorageDevice

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


No TPTP formula. May not be expressible in strict first order. Media.kif 690-700


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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