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
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1668-1668
(instance memorySize BinaryPredicate) QoSontology.kif 1666-1666
(subrelation memorySize measure) QoSontology.kif 1665-1665

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


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