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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 10922-10923
(documentation Decreasing JapaneseLanguage "PhysicalQuantity が減少した任意の QuantityChange。") japanese_format.kif 1747-1748
(externalImage Decreasing " 5/ 59/ Monotonicity_example2.png") pictureList.kif 7107-7107
(relatedInternalConcept Decreasing Removing) Merge.kif 10920-10920 减少移除 是 内部相关
(subclass Decreasing QuantityChange) Merge.kif 10919-10919 减少量变subclass

appearance as argument number 2

(subclass Atrophy Decreasing) Mid-level-ontology.kif 6414-6414 减少subclass
(subclass Braking Decreasing) Cars.kif 1247-1247 Braking减少subclass
(subclass Cooling Decreasing) Merge.kif 10940-10940 冷却减少subclass
(subclass Decelerating Decreasing) Mid-level-ontology.kif 17139-17139 减速减少subclass
(subclass Shortening Decreasing) Mid-level-ontology.kif 17177-17177 缩短减少subclass
(termFormat ChineseLanguage Decreasing "减少") chinese_format.kif 1111-1111
(termFormat EnglishLanguage Decreasing "decreasing") english_format.kif 1439-1439
(termFormat FrenchLanguage Decreasing "diminuer") french_format.kif 789-789
(termFormat Hindi Decreasing "hraasa") terms-hindi.txt 321-321
(termFormat ItalianLanguage Decreasing "Diminuzione") terms-it.txt 324-324
(termFormat JapaneseLanguage Decreasing "減少") japanese_format.kif 2473-2473
(termFormat PortugueseLanguage Decreasing "Diminuir") portuguese_format.kif 741-741
(termFormat cb Decreasing "pagdyutay") terms-cb.txt 326-326
(termFormat cz Decreasing "decreasing") terms-cz.txt 360-360
(termFormat ro Decreasing "descreºtere") relations-ro.kif 810-810
(termFormat tg Decreasing "binababaan") terms-tg.txt 325-325

appearance as argument number 3

(partition QuantityChange Increasing Decreasing) Merge.kif 10873-10873 量变 详尽无遗地 partition增加减少


        (instance ?DECREASE Decreasing)
        (patient ?DECREASE ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
                    (WhenFn ?DECREASE))
                    (MeasureFn ?OBJ ?UNIT) ?QUANT1))
                    (WhenFn ?DECREASE))
                    (MeasureFn ?OBJ ?UNIT) ?QUANT2))
            (lessThan ?QUANT2 ?QUANT1))))
Merge.kif 10925-10938


        (instance ?C CurdlingMilk)
        (instance ?M Milk)
        (patient ?C ?M))
    (exists (?PH ?D ?H ?L)
            (measure ?M
                (MeasureFn ?PH PHValue))
            (instance ?D Decreasing)
            (subProcess ?D ?C)
            (patient ?D ?PH)
                    (WhenFn ?D))
                (equal ?PH ?H)
                (approximateValue ?H 6.5))
                    (WhenFn ?D))
                (equal ?PH ?L)
                (approximateValue ?L 4.5)))))
Food.kif 3226-3247

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