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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DataStorageDevice
DataStorageDevice

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25652-25654
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25651-25651 DataStorageDevice e' uma sub-classe de Aparelho

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


No TPTP formula. May not be expressible in strict first order. Music.kif 932-932 Os valores retornados por AlbumCopiesFn sao as sub-classes de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Media.kif 817-817 AudioDataStorageDevice e' uma sub-classe de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Media.kif 1086-1086 Blackboard e' uma sub-classe de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Media.kif 684-684 ElectronicDataStorageDevice e' uma sub-classe de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Media.kif 1032-1032 HardcopyDocument e' uma sub-classe de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Media.kif 1067-1067 PrintedSheet e' uma sub-classe de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Media.kif 837-837 VideoDataStorageDevice e' uma sub-classe de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25656-25656 Whiteboard e' uma sub-classe de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64745-64745

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14387-14387 O argumento numero 2 de stored e' uma instancia de DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Music.kif 931-931 O argumento numero 2 de AlbumCopiesFn e' uma sub-classe de DataStorageDevice

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


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

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1914-1919
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14367-14372


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