Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - memorySize
memorySize

appearance as argument number 1
-------------------------


(subrelation memorySize measure) QoSontology.kif 1784-1784 memory size is a subrelation of measure
(instance memorySize BinaryPredicate) QoSontology.kif 1785-1785 memory size is an instance of binary predicate
(domain memorySize 1 ComputationalSystem) QoSontology.kif 1786-1786 The number 1 argument of memory size is an instance of computational system
(domain memorySize 2 ConstantQuantity) QoSontology.kif 1787-1787 The number 2 argument of memory size is an instance of constant quantity
(documentation memorySize EnglishLanguage "(memorySize ?System ?Size) holds if ?Size is the required memory size for the ComputationalSystem ?System.") QoSontology.kif 1788-1790 The number 2 argument of memory size is an instance of constant quantity

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


(format EnglishLanguage memorySize "%1 requires %2") domainEnglishFormat.kif 3850-3850
(format ChineseTraditionalLanguage memorySize "%1 requires %2 ") domainEnglishFormat.kif 3851-3851
(format ChineseLanguage memorySize "%1 requires %2 ") domainEnglishFormat.kif 3852-3852
(termFormat EnglishLanguage memorySize "memory size") domainEnglishFormat.kif 37055-37055
(termFormat ChineseTraditionalLanguage memorySize "記憶體大小") domainEnglishFormat.kif 37056-37056
(termFormat ChineseLanguage memorySize "记忆体大小") domainEnglishFormat.kif 37057-37057

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 2050-2064 If X is an instance of data compression, Y is processed by X, Y requires Z W(s) holds during immediately before the time of existence of X, and Y requires V W(s) holds during immediately after the time of existence of X, then V is less than Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners