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 11001-11002
(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 10999-10999	Decreasing is internally related to removing
(subclass Decreasing QuantityChange)	Merge.kif 10998-10998	Decreasing is a subclass of quantity change

appearance as argument number 2

(subclass Atrophy Decreasing)	Mid-level-ontology.kif 6991-6991	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 18196-18196	Consuming is a subclass of decreasing
(subclass Cooling Decreasing)	Merge.kif 11019-11019	Cooling is a subclass of decreasing
(subclass Decelerating Decreasing)	Mid-level-ontology.kif 18095-18095	Decelerating is a subclass of decreasing
(subclass Shortening Decreasing)	Mid-level-ontology.kif 18173-18173	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 10936-10936

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 11004-11017

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
(=> (instance ?C Consuming) (exists (?O ?D) (and (patient ?C ?O) (instance ?O Object) (resource ?C ?O) (subProcess ?D ?C) (instant ?D Decreasing) (patient ?D ?O) (causes ?C ?D))))	Mid-level-ontology.kif 18203-18213	If a process is an instance of consuming, then there exist an object and another process such that the object is a patient of the process and the object is an instance of object and the object is a resource for the process and the other process is a subprocess of the process and instant the other process and decreasing and the object is a patient of the other process and the process causes 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: