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 11076-11077
(documentation Decreasing JapaneseLanguage "PhysicalQuantity が減少した任意の QuantityChange。") japanese_format.kif 1747-1748
(externalImage Decreasing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Monotonicity_example2.png") pictureList.kif 7106-7106
(relatedInternalConcept Decreasing Removing) Merge.kif 11074-11074 Decreasing is internally related to removing
(subclass Decreasing QuantityChange) Merge.kif 11073-11073 Decreasing is a subclass of quantity change

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


(subclass Atrophy Decreasing) Mid-level-ontology.kif 7379-7379 Atrophy is a subclass of decreasing
(subclass Braking Decreasing) Cars.kif 1247-1247 Braking is a subclass of decreasing
(subclass Consuming Decreasing) Mid-level-ontology.kif 18655-18655 Consuming is a subclass of decreasing
(subclass Cooling Decreasing) Merge.kif 11094-11094 Cooling is a subclass of decreasing
(subclass Decelerating Decreasing) Mid-level-ontology.kif 18554-18554 Decelerating is a subclass of decreasing
(subclass Shortening Decreasing) Mid-level-ontology.kif 18632-18632 Shortening is a subclass of decreasing
(termFormat ChineseLanguage Decreasing "减少") chinese_format.kif 1111-1111 Shortening is a subclass of decreasing
(termFormat EnglishLanguage Decreasing "decreasing") english_format.kif 1439-1439 Shortening is a subclass of decreasing
(termFormat FrenchLanguage Decreasing "diminuer") french_format.kif 789-789 Shortening is a subclass of decreasing
(termFormat Hindi Decreasing "hraasa") terms-hindi.txt 321-321 Shortening is a subclass of decreasing
(termFormat ItalianLanguage Decreasing "Diminuzione") terms-it.txt 324-324 Shortening is a subclass of decreasing
(termFormat JapaneseLanguage Decreasing "減少") japanese_format.kif 2473-2473 Shortening is a subclass of decreasing
(termFormat PortugueseLanguage Decreasing "Diminuir") portuguese_format.kif 741-741 Shortening is a subclass of decreasing
(termFormat cb Decreasing "pagdyutay") terms-cb.txt 326-326 Shortening is a subclass of decreasing
(termFormat cz Decreasing "decreasing") terms-cz.txt 360-360 Shortening is a subclass of decreasing
(termFormat de Decreasing "Abnehmen") terms-de.txt 619-619 Shortening is a subclass of decreasing
(termFormat ro Decreasing "descreºtere") relations-ro.kif 810-810 Shortening is a subclass of decreasing
(termFormat tg Decreasing "binababaan") terms-tg.txt 325-325 Shortening is a subclass of decreasing

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


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

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


(=>
    (and
        (instance ?D Decreasing)
        (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)))
            (lessThan ?N1 ?N2))))
Merge.kif 11079-11092

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


(=>
    (and
        (instance ?C CurdlingMilk)
        (instance ?M Milk)
        (patient ?C ?M))
    (exists (?PH ?D ?H ?L)
        (and
            (measure ?M
                (MeasureFn ?PH PHValue))
            (instance ?D Decreasing)
            (subProcess ?D ?C)
            (patient ?D ?PH)
            (holdsDuring
                (BeginFn
                    (WhenFn ?D))
                (equal ?PH ?H)
                (approximateValue ?H 6.5))
            (holdsDuring
                (EndFn
                    (WhenFn ?D))
                (equal ?PH ?L)
                (approximateValue ?L 4.5)))))
Food.kif 3233-3254
(=>
    (instance ?C Consuming)
    (exists (?O ?D)
        (and
            (patient ?C ?O)
            (instance ?O Object)
            (resource ?C ?O)
            (subProcess ?D ?C)
            (instance ?D Decreasing)
            (patient ?D ?O)
            (causes ?C ?D))))
Mid-level-ontology.kif 18662-18672


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