| Increasing(augmenter)
| |
| appearance as argument number 1 |
|
|
| (documentation Increasing ChineseLanguage "这是当 PhysicalQuantity 在增加时的任何 QuantityChange。") | chinese_format.kif 2983-2984 | |
| (documentation Increasing EnglishLanguage "Any QuantityChange where the PhysicalQuantity is increased.") | Merge.kif 11019-11020 | |
| (documentation Increasing JapaneseLanguage "PhysicalQuantity が増加した任意の QuantityChange。") | japanese_format.kif 1743-1744 | |
| (externalImage Increasing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Monotonicity_example1.png") | pictureList.kif 6624-6624 | |
| (relatedInternalConcept Increasing Putting) | Merge.kif 11017-11017 | Augmenter est reli� � l'int�rieur de SUMO � mettre |
| (subclass Increasing QuantityChange) | Merge.kif 11016-11016 | Augmenter est une sous-classe de changement de quantit� |
| appearance as argument number 2 |
|
|
| (partition QuantityChange Increasing Decreasing) | Merge.kif 10996-10996 | Changement de quantit� est compl�tement d�compos� en augmenter + diminuer |
| (subclass Accelerating Increasing) | Mid-level-ontology.kif 18526-18526 | Accelerating est une sous-classe de augmenter |
| (subclass Bloating Increasing) | Mid-level-ontology.kif 7390-7390 | Bloating est une sous-classe de augmenter |
| (subclass Heating Increasing) | Merge.kif 11037-11037 | R�chauffer est une sous-classe de augmenter |
| (subclass Inflammation Increasing) | Mid-level-ontology.kif 13717-13717 | Inflammation est une sous-classe de augmenter |
| (subclass Inflating Increasing) | Cars.kif 3662-3662 | Inflating est une sous-classe de augmenter |
| (subclass Lengthening Increasing) | Mid-level-ontology.kif 25450-25450 | Lengthening est une sous-classe de augmenter |
| (subclass Proliferation Increasing) | MilitaryProcesses.kif 1433-1433 | Proliferation est une sous-classe de augmenter |
| (subclass Saving Increasing) | Mid-level-ontology.kif 25470-25470 | Saving est une sous-classe de augmenter |
| (termFormat ChineseLanguage Increasing "增加") | chinese_format.kif 1109-1109 | Saving est une sous-classe de augmenter |
| (termFormat EnglishLanguage Increasing "increasing") | english_format.kif 1435-1435 | Saving est une sous-classe de augmenter |
| (termFormat FrenchLanguage Increasing "augmenter") | french_format.kif 787-787 | Saving est une sous-classe de augmenter |
| (termFormat Hindi Increasing "badhottarii") | terms-hindi.txt 319-319 | Saving est une sous-classe de augmenter |
| (termFormat ItalianLanguage Increasing "Aumento") | terms-it.txt 322-322 | Saving est une sous-classe de augmenter |
| (termFormat JapaneseLanguage Increasing "増加") | japanese_format.kif 2471-2471 | Saving est une sous-classe de augmenter |
| (termFormat PortugueseLanguage Increasing "Aumentar") | portuguese_format.kif 739-739 | Saving est une sous-classe de augmenter |
| (termFormat cb Increasing "pagdugang") | terms-cb.txt 324-324 | Saving est une sous-classe de augmenter |
| (termFormat cz Increasing "increasing") | terms-cz.txt 358-358 | Saving est une sous-classe de augmenter |
| (termFormat de Increasing "Zunehmen") | terms-de.txt 617-617 | Saving est une sous-classe de augmenter |
| (termFormat ro Increasing "creºtere") | relations-ro.kif 808-808 | Saving est une sous-classe de augmenter |
| (termFormat tg Increasing "tumataas") | terms-tg.txt 323-323 | Saving est une sous-classe de augmenter |
| antecedent |
|
|
| (=> (and (instance ?D Increasing) (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))) (greaterThan ?N1 ?N2)))) |
Merge.kif 11022-11035 |
|
| consequent |
|
|
| (=> (instance ?P Proliferation) (exists (?C ?A ?I) (and (instance ?C Classifying) (agent ?C ?A) (instance ?I Increasing) (destination ?C ?I) (subjectiveAttribute ?I Quick ?A)))) |
MilitaryProcesses.kif 1437-1445 |
|
|
|
|