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 1770-1772
(domain memorySize 1 ComputationalSystem)	QoSontology.kif 1768-1768	The number 1 argument of memory size is an instance of computational system
(domain memorySize 2 ConstantQuantity)	QoSontology.kif 1769-1769	The number 2 argument of memory size is an instance of constant quantity
(instance memorySize BinaryPredicate)	QoSontology.kif 1767-1767	memory size is an instance of binary predicate
(subrelation memorySize measure)	QoSontology.kif 1766-1766	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 37084-37084
(termFormat ChineseTraditionalLanguage memorySize "記憶體大小")	domainEnglishFormat.kif 37083-37083
(termFormat EnglishLanguage memorySize "memory size")	domainEnglishFormat.kif 37082-37082

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

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: