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


KB Term:  Term intersection
English Word: 

Sigma KEE - Increasing
Increasing(increasing)
accelerando, accelerate, accelerated, accelerative, acceleratory, accession, accrete, accretion, accretionary, accretive, accrual, accrue, accrued, accruement, accumulate, accumulated, accumulation, accumulative, add_to, addition, adolesce, adrenarche, advance, aggrandisement, aggrandizement, amass, ameliorate, amend, amplification, amplify, animate, annealing, appreciate, appreciation, apprise, apprize, augment, augmentation, augmentative, augmented, backlog, backup, balloon, beef_up, belly, belly_out, better, billow, blow_up, blowup...

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


(subclass Increasing QuantityChange) Merge.kif 11060-11060 Increasing is a subclass of quantity change
(relatedInternalConcept Increasing Putting) Merge.kif 11061-11061 Increasing is internally related to putting
(documentation Increasing EnglishLanguage "Any QuantityChange where the PhysicalQuantity is increased.") Merge.kif 11063-11064 Increasing is internally related to putting
(externalImage Increasing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Monotonicity_example1.png") pictureList.kif 6624-6624 Increasing is internally related to putting

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


(partition QuantityChange Increasing Decreasing) Merge.kif 11040-11040 Quantity change is exhaustively partitioned into increasing and decreasing
(subclass Heating Increasing) Merge.kif 11081-11081 Heating is a subclass of increasing
(subclass Bloating Increasing) Mid-level-ontology.kif 7418-7418 Bloating is a subclass of increasing
(subclass Inflammation Increasing) Mid-level-ontology.kif 13907-13907 Inflammation is a subclass of increasing
(subclass Accelerating Increasing) Mid-level-ontology.kif 18730-18730 Accelerating is a subclass of increasing
(subclass Lengthening Increasing) Mid-level-ontology.kif 26169-26169 Lengthening is a subclass of increasing
(subclass Saving Increasing) Mid-level-ontology.kif 26189-26189 Saving is a subclass of increasing
(subclass Inflating Increasing) Cars.kif 3690-3690 Inflating is a subclass of increasing
(subclass Proliferation Increasing) MilitaryProcesses.kif 1456-1456 Proliferation is a subclass of increasing
(termFormat EnglishLanguage Increasing "increasing") english_format.kif 1435-1435 Proliferation is a subclass of increasing

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


(=>
    (and
        (instance ?D Increasing)
        (patient ?D ?OBJ))
    (exists (?N1 ?N2 ?T1 ?T2 ?U)
        (and
            (earlier ?T1 ?T2)
            (holdsDuring ?T1
                (measure ?OBJ
                    (MeasureFn ?N1 ?U)))
            (holdsDuring ?T2
                (measure ?OBJ
                    (MeasureFn ?N2 ?U)))
            (greaterThan ?N1 ?N2))))		 Merge.kif 11066-11079 If X is an instance of increasing and Y is a patient of X, then there exist Z, W,, , V,, , U and T such that V happens earlier than U and the measure of Y is Z T(s) holds during V and the measure of Y is W T(s) holds during U and Z is greater than W

consequent
-------------------------


(=>
    (instance ?P Proliferation)
    (exists (?C ?A ?I)
        (and
            (instance ?C Classifying)
            (agent ?C ?A)
            (instance ?I Increasing)
            (destination ?C ?I)
            (subjectiveAttribute ?I Quick ?A))))		 MilitaryProcesses.kif 1460-1468 If X is an instance of proliferation, then there exist Y, Z, W such that Y is an instance of classifying, Z is an agent of Y, W is an instance of increasing, Y ends up at W, and Z believes W is quick


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-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners