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 1770-1772
(domain memorySize 1 ComputationalSystem)	QoSontology.kif 1768-1768	Le nombre 1 argument de memorySize est une instance de ComputationalSystem
(domain memorySize 2 ConstantQuantity)	QoSontology.kif 1769-1769	Le nombre 2 argument de memorySize est une instance de quantit� constante
(instance memorySize BinaryPredicate)	QoSontology.kif 1767-1767	memorySize est une instance de pr�dicat binaire
(subrelation memorySize measure)	QoSontology.kif 1766-1766	memorySize est une sous-relation de 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

ComputerProcess est une instance de DataCompression dataProcessed ComputerProcess and DigitalData memorySize DigitalData and nombre r�el entit�(s) pendant immediatement avant temps d'existence de ComputerProcess memorySize DigitalData and nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de ComputerProcess
nombre r�el est moins que nombre r�el

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: