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


(documentation memorySize EnglishLanguage "(memorySize ?System ?Size) holds if ?Size is the required memory size for the ComputationalSystem ?System.") QoSontology.kif 1669-1671
(domain memorySize 1 ComputationalSystem) QoSontology.kif 1667-1667 记忆体大小 的 1 数量 是 计算系统instance
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1668-1668 记忆体大小 的 2 数量 是 恒量instance
(instance memorySize BinaryPredicate) QoSontology.kif 1666-1666 记忆体大小二元谓语instance
(subrelation memorySize measure) QoSontology.kif 1665-1665 记忆体大小计量subrelation

appearance as argument number 2
-------------------------


(format ChineseLanguage memorySize "%1 requires %2 ") domainEnglishFormat.kif 3859-3859
(format ChineseTraditionalLanguage memorySize "%1 requires %2 ") domainEnglishFormat.kif 3858-3858
(format EnglishLanguage memorySize "%1 requires %2") domainEnglishFormat.kif 3857-3857
(termFormat ChineseLanguage memorySize "记忆体大小") domainEnglishFormat.kif 37044-37044
(termFormat ChineseTraditionalLanguage memorySize "記憶體大小") domainEnglishFormat.kif 37043-37043
(termFormat EnglishLanguage memorySize "memory size") domainEnglishFormat.kif 37042-37042

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


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