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


KB Term:  Term intersection
English Word: 

  Saving

 Sigma KEE - Saving
Saving(saving)economy, economy_of_scale, saving

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


(subclass Saving Increasing) Mid-level-ontology.kif 26107-26107 Saving is a subclass of increasing
(documentation Saving EnglishLanguage "Any instance of Increasing where the PhysicalQuantity involved is a CurrencyMeasure. This includes saving in a financial account as well as stuffing gold bars under the matress, or a squirrel saving nuts for winter.") Mid-level-ontology.kif 26108-26111 Saving is a subclass of increasing

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


(termFormat EnglishLanguage Saving "saving") domainEnglishFormat.kif 51346-51346
(termFormat ChineseTraditionalLanguage Saving "保存") domainEnglishFormat.kif 51347-51347
(termFormat ChineseLanguage Saving "保存") domainEnglishFormat.kif 51348-51348

antecedent
-------------------------


(=>
    (and
        (instance ?S Saving)
        (patient ?S ?O)
        (agent ?S ?A))
    (exists (?Q1 ?Q2 ?U)
        (and
            (instance ?U UnitOfCurrency)
            (holdsDuring
                (BeginFn
                    (WhenFn ?S))
                (monetaryValue ?O
                    (MeasureFn ?Q1 ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?S))
                (monetaryValue ?O
                    (MeasureFn ?Q2 ?U)))
            (possesses ?A ?O)
            (lessThan ?Q1 ?Q2))))		 Mid-level-ontology.kif 26113-26130 If X is an instance of saving, Y is a patient of X, and Z is an agent of X, then there exist W, V and U such that U is an instance of unit of currency and value of Y is W U(s) holds during the beginning of the time of existence of X and value of Y is V U(s) holds during the end of the time of existence of X and Z possesses Y and W is less than V


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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