memorySize - Sigma Knowledge base Browser

appearance as argument number 1

(documentation memorySize EnglishLanguage "(memorySize ?System ?Size) holds if ?Size is the required memory size for the ComputationalSystem ?System.")	QoSontology.kif 1664-1666
(domain memorySize 1 ComputationalSystem)	QoSontology.kif 1662-1662	The number 1 argument of memory size is an instance of computational system
(domain memorySize 2 ConstantQuantity)	QoSontology.kif 1663-1663	The number 2 argument of memory size is an instance of constant quantity
(instance memorySize BinaryPredicate)	QoSontology.kif 1661-1661	memory size is an instance of binary predicate
(subrelation memorySize measure)	QoSontology.kif 1660-1660	memory size is a subrelation of measure

appearance as argument number 2

(format ChineseLanguage memorySize "%1 requires %2 ")	domainEnglishFormat.kif 3848-3848
(format ChineseTraditionalLanguage memorySize "%1 requires %2 ")	domainEnglishFormat.kif 3847-3847
(format EnglishLanguage memorySize "%1 requires %2")	domainEnglishFormat.kif 3846-3846
(termFormat ChineseLanguage memorySize "记忆体大小")	domainEnglishFormat.kif 37089-37089
(termFormat ChineseTraditionalLanguage memorySize "記憶體大小")	domainEnglishFormat.kif 37088-37088
(termFormat EnglishLanguage memorySize "memory size")	domainEnglishFormat.kif 37087-37087

antecedent

(=>
    (and
        (instance ?Compression DataCompression)
        (dataProcessed ?Compression ?Data)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?Memory ?Measure)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?NewMemory ?Measure))))
    (lessThan ?NewMemory ?Memory))

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 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

KB Term:			Term intersection

English Word: