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 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 3854-3854
(format ChineseTraditionalLanguage memorySize "%1 requires %2 ") domainEnglishFormat.kif 3853-3853
(format EnglishLanguage memorySize "%1 requires %2") domainEnglishFormat.kif 3852-3852
(termFormat ChineseLanguage memorySize "记忆体大小") domainEnglishFormat.kif 37055-37055
(termFormat ChineseTraditionalLanguage memorySize "記憶體大小") domainEnglishFormat.kif 37054-37054
(termFormat EnglishLanguage memorySize "memory size") domainEnglishFormat.kif 37053-37053

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


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