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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DataStorageDevice
DataStorageDevice(data storage device)recording

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27519-27521
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27518-27518 Data storage device is a subclass of device

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


No TPTP formula. May not be expressible in strict first order. Music.kif 934-934 The values returned by album copies function are subclasses of data storage device
No TPTP formula. May not be expressible in strict first order. Media.kif 817-817 Audio data storage device is a subclass of data storage device
No TPTP formula. May not be expressible in strict first order. Media.kif 1086-1086 Blackboard is a subclass of data storage device
No TPTP formula. May not be expressible in strict first order. Media.kif 684-684 Electronic data storage device is a subclass of data storage device
No TPTP formula. May not be expressible in strict first order. Media.kif 1032-1032 Hardcopy document is a subclass of data storage device
No TPTP formula. May not be expressible in strict first order. Media.kif 1067-1067 Printed sheet is a subclass of data storage device
No TPTP formula. May not be expressible in strict first order. Media.kif 837-837 Video data storage device is a subclass of data storage device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27523-27523 Whiteboard is a subclass of data storage device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64737-64737 Whiteboard is a subclass of data storage device

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15731-15731 The number 2 argument of stored is an instance of data storage device
No TPTP formula. May not be expressible in strict first order. Music.kif 933-933 The number 2 argument of album copies function is a subclass of data storage device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15751-15757

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2045-2050
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15711-15716


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



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