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


KB Term:  Term intersection
English Word: 

  observedAtTimeInPlace

 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 11145-11145 Increasing is a subclass of quantity change
(relatedInternalConcept Increasing Putting) Merge.kif 11146-11146 Increasing is internally related to putting
(documentation Increasing EnglishLanguage "Any QuantityChange where the PhysicalQuantity is increased.") Merge.kif 11148-11149 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 11125-11125 Quantity change is exhaustively partitioned into increasing and decreasing
(subclass Heating Increasing) Merge.kif 11166-11166 Heating is a subclass of increasing
(subclass Bloating Increasing) Mid-level-ontology.kif 7541-7541 Bloating is a subclass of increasing
(subclass Inflammation Increasing) Mid-level-ontology.kif 14001-14001 Inflammation is a subclass of increasing
(subclass Accelerating Increasing) Mid-level-ontology.kif 18757-18757 Accelerating is a subclass of increasing
(subclass Lengthening Increasing) Mid-level-ontology.kif 26087-26087 Lengthening is a subclass of increasing
(subclass Saving Increasing) Mid-level-ontology.kif 26107-26107 Saving is a subclass of increasing
(subclass Inflating Increasing) Cars.kif 3465-3465 Inflating is a subclass of increasing
(subclass Proliferation Increasing) MilitaryProcesses.kif 1455-1455 Proliferation is a subclass of increasing
(termFormat EnglishLanguage Increasing "increasing") english_format.kif 1439-1439 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 11151-11164 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 1459-1467 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 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