Decreasing - Sigma Knowledge base Browser

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 10972-10973
(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 7107-7107
(relatedInternalConcept Decreasing Removing)	Merge.kif 10970-10970	Decreasing is internally related to removing
(subclass Decreasing QuantityChange)	Merge.kif 10969-10969	Decreasing is a subclass of quantity change

appearance as argument number 2

(subclass Atrophy Decreasing)	Mid-level-ontology.kif 6436-6436	Atrophy is a subclass of decreasing
(subclass Braking Decreasing)	Cars.kif 1247-1247	Braking is a subclass of decreasing
(subclass Cooling Decreasing)	Merge.kif 10990-10990	Cooling is a subclass of decreasing
(subclass Decelerating Decreasing)	Mid-level-ontology.kif 17385-17385	Decelerating is a subclass of decreasing
(subclass Shortening Decreasing)	Mid-level-ontology.kif 17463-17463	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 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 10907-10907

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 10975-10988

If a process is an instance of decreasing and an entity is a patient of the process,
then there exist a real number, another real number,, , a time interval,, , another time interval and another entity such that the time interval happens earlier than the other time interval and the measure of the entity is the real number the other entity(s) holds during the time interval and the measure of the entity is the other real number the other entity(s) holds during the other time interval and the real number is less than the other real number

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 3226-3247

If a process is an instance of curdling milk and a physical is an instance of milk and the physical is a patient of the process,
then there exist a real number, another process,, , an entity and another entity such that the measure of the physical is the real number PH value(s) and the other process is an instance of decreasing and the other process is a subprocess of the process and the real number is a patient of the other process and the real number is equal to the entity holds during the beginning of the time of existence of the other process and the real number is equal to the other entity holds during the end of the time of existence of the other process

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

KB Term:			Term intersection

English Word: