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

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


(subclass Atrophy Decreasing) Mid-level-ontology.kif 6115-6115
(subclass Braking Decreasing) Cars.kif 1247-1247
(subclass Cooling Decreasing) Merge.kif 10832-10832
(subclass Decelerating Decreasing) Mid-level-ontology.kif 16610-16610
(subclass Shortening Decreasing) Mid-level-ontology.kif 16648-16648
(termFormat ChineseLanguage Decreasing "减少") chinese_format.kif 1111-1111
(termFormat EnglishLanguage Decreasing "decreasing") english_format.kif 1439-1439

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


(partition QuantityChange Increasing Decreasing) Merge.kif 10765-10765

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 10817-10830


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