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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Decreasing
Decreasing(decreasing)
abate, abatement, abatement_of_a_nuisance, abbreviation, ablated, aggravate, allargando, allow, amortisation, amortization, astringe, atrophied, attenuate, attenuated, attenuation, attrition, backslide, bankrupt, bate, bated, battle_damage, belittle, bite, black, blow_over, blunt, bog, bog_down, bottleneck, brain_drain, break, bring_down, budget_cut, calando, calm_down, capital_loss, castrate, casualty, catch, change, check, choke, choke_back, choke_down, choke_off, chokepoint, clog, cloud, coarctation, collapse...

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


(documentation Decreasing ChineseLanguage "这是当 PhysicalQuantity 在减少时的任何 QuantityChange。") chinese_format.kif 2987-2988
(documentation Decreasing EnglishLanguage "Any QuantityChange where the PhysicalQuantity is decreased.") Merge.kif 10461-10462
(externalImage Decreasing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Monotonicity_example2.png") pictureList.kif 7108-7108
(relatedInternalConcept Decreasing Removing) Merge.kif 10459-10459 Decreasing is internally related to removing
(subclass Decreasing QuantityChange) Merge.kif 10458-10458 Decreasing is a subclass of quantity change

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


(subclass Atrophy Decreasing) Mid-level-ontology.kif 6064-6064 Atrophy is a subclass of decreasing
(subclass Braking Decreasing) Cars.kif 1247-1247 Braking is a subclass of decreasing
(subclass Cooling Decreasing) Merge.kif 10479-10479 Cooling is a subclass of decreasing
(subclass Decelerating Decreasing) Mid-level-ontology.kif 15919-15919 Decelerating is a subclass of decreasing
(subclass Shortening Decreasing) Mid-level-ontology.kif 15957-15957 Shortening is a subclass of decreasing
(termFormat ChineseLanguage Decreasing "减少") chinese_format.kif 1111-1111
(termFormat EnglishLanguage Decreasing "decreasing") english_format.kif 1444-1444

appearance as argument number 3
-------------------------


(partition QuantityChange Increasing Decreasing) Merge.kif 10412-10412 Quantity change is exhaustively partitioned into increasing and decreasing

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


(=>
    (and
        (instance ?DECREASE Decreasing)
        (patient ?DECREASE ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?DECREASE))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
            (holdsDuring
                (EndFn
                    (WhenFn ?DECREASE))
                (equal
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (lessThan ?QUANT2 ?QUANT1))))
Merge.kif 10464-10477


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