| 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 11061-11062 | |
| (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 11059-11059 | |
| (subclass Decreasing QuantityChange) | Merge.kif 11058-11058 |
| appearance as argument number 2 |
|
|
| (subclass Atrophy Decreasing) | Mid-level-ontology.kif 7398-7398 | |
| (subclass Braking Decreasing) | Cars.kif 1247-1247 | |
| (subclass Consuming Decreasing) | Mid-level-ontology.kif 18675-18675 | |
| (subclass Cooling Decreasing) | Merge.kif 11079-11079 | |
| (subclass Decelerating Decreasing) | Mid-level-ontology.kif 18574-18574 | |
| (subclass Shortening Decreasing) | Mid-level-ontology.kif 18652-18652 | |
| (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 de Decreasing "Abnehmen") | terms-de.txt 619-619 | |
| (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 10996-10996 |
| 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 11064-11077 |
| 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 3233-3254 | |
| (=> (instance ?C Consuming) (exists (?O ?D) (and (patient ?C ?O) (instance ?O Object) (resource ?C ?O) (subProcess ?D ?C) (instance ?D Decreasing) (patient ?D ?O) (causes ?C ?D)))) |
Mid-level-ontology.kif 18682-18692 |
|
|
|