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
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1663-1663
(instance memorySize BinaryPredicate) QoSontology.kif 1661-1661
(subrelation memorySize measure) QoSontology.kif 1660-1660

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