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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - memorySize
memorySize

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1664-1666
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1662-1662 O argumento numero 1 de memorySize e' uma instancia de ComputationalSystem
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1663-1663 O argumento numero 2 de memorySize e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1661-1661 memorySize e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1660-1660 memorySize e' uma sub-relacao de measure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3854-3854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3853-3853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3852-3852
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37055-37055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37054-37054
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37053-37053

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1926-1940


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