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 11051-11051 Increasing is a subclass of quantity change
(relatedInternalConcept Increasing Putting) Merge.kif 11052-11052 Increasing is internally related to putting
(documentation Increasing EnglishLanguage "Any QuantityChange where the PhysicalQuantity is increased.") Merge.kif 11054-11055 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
-------------------------


(subclass Inflating Increasing) Cars.kif 3679-3679 Inflating is a subclass of increasing
(partition QuantityChange Increasing Decreasing) Merge.kif 11031-11031 Quantity change is exhaustively partitioned into increasing and decreasing
(subclass Heating Increasing) Merge.kif 11072-11072 Heating is a subclass of increasing
(subclass Bloating Increasing) Mid-level-ontology.kif 7408-7408 Bloating is a subclass of increasing
(subclass Inflammation Increasing) Mid-level-ontology.kif 13850-13850 Inflammation is a subclass of increasing
(subclass Accelerating Increasing) Mid-level-ontology.kif 18683-18683 Accelerating is a subclass of increasing
(subclass Lengthening Increasing) Mid-level-ontology.kif 26167-26167 Lengthening is a subclass of increasing
(subclass Saving Increasing) Mid-level-ontology.kif 26187-26187 Saving is a subclass of increasing
(subclass Proliferation Increasing) MilitaryProcesses.kif 1452-1452 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 11057-11070 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 1456-1464 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 is open source software produced by Articulate Software and its partners