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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Decreasing

Sigma KEE - Decreasing
Decreasing

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 10494-10495
(externalImage Decreasing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Monotonicity_example2.png") pictureList.kif 7108-7108
(relatedInternalConcept Decreasing Removing) Merge.kif 10492-10492
(subclass Decreasing QuantityChange) Merge.kif 10491-10491

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


(subclass Atrophy Decreasing) Mid-level-ontology.kif 6088-6088
(subclass Braking Decreasing) Cars.kif 1247-1247
(subclass Cooling Decreasing) Merge.kif 10512-10512
(subclass Decelerating Decreasing) Mid-level-ontology.kif 16267-16267
(subclass Shortening Decreasing) Mid-level-ontology.kif 16305-16305
(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 10445-10445

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 10497-10510


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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