TreeView 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 1795-1797
(domain memorySize 1 ComputationalSystem)	QoSontology.kif 1793-1793	The number 1 argument of memory size is an instance of computational system
(domain memorySize 2 ConstantQuantity)	QoSontology.kif 1794-1794	The number 2 argument of memory size is an instance of constant quantity
(instance memorySize BinaryPredicate)	QoSontology.kif 1792-1792	memory size is an instance of binary predicate
(subrelation memorySize measure)	QoSontology.kif 1791-1791	memory size is a subrelation of measure

appearance as argument number 2

(format ChineseLanguage memorySize "%1 requires %2 ")	domainEnglishFormat.kif 3852-3852
(format ChineseTraditionalLanguage memorySize "%1 requires %2 ")	domainEnglishFormat.kif 3851-3851
(format EnglishLanguage memorySize "%1 requires %2")	domainEnglishFormat.kif 3850-3850
(termFormat ChineseLanguage memorySize "记忆体大小")	domainEnglishFormat.kif 37064-37064
(termFormat ChineseTraditionalLanguage memorySize "記憶體大小")	domainEnglishFormat.kif 37063-37063
(termFormat EnglishLanguage memorySize "memory size")	domainEnglishFormat.kif 37062-37062

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

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)

KB Term:			Term intersection

English Word: