TreeView Knowledge Base Browser - memorySize

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	The number 1 argument of memory size is an instance of computational system
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1663-1663	The number 2 argument of memory size is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1661-1661	memory size is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1660-1660	memory size is a subrelation of 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

If a computer process is an instance of data compression and a digital data is processed by the computer process and the digital data requires a real number an entity(s) holds during immediately before the time of existence of the computer process and the digital data requires another real number the entity(s) holds during immediately after the time of existence of the computer process,
then the other real number is less than the real number

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