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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Increasing
Increasing(increasing)
accelerando, accelerate, accelerated, accelerative, acceleratory, accession, accrete, accretion, accretionary, accretive, accrual, accrue, accrued, accruement, accumulate, accumulated, accumulation, accumulative, add_to, addition, adolesce, adrenarche, advance, aggrandisement, aggrandizement, amass, ameliorate, amend, amplification, amplify, animate, annealing, appreciate, appreciation, apprise, apprize, augment, augmentation, augmentative, augmented, backlog, backup, balloon, beef_up, belly, belly_out, better, billow, blow_up, blowup...

VerbNet: run-51.3.2|speed, obtain-13.5.2|accrue, herd-47.5.2|gather, other_cos-45.4|advance, herd-47.5.2|gather, other_cos-45.4|improve, other_cos-45.4|improve, remedy-45.7|magnify, calibratable_cos-45.6|appreciate, calibratable_cos-45.6|appreciate, calibratable_cos-45.6|appreciate, other_cos-45.4|inflate, remedy-45.7|fortify, other_cos-45.4|improve, other_cos-45.4|inflate, gorge-39.6|thrive, bulge-47.5.3|bulge, entity_specific_cos-45.5|burgeon, calibratable_cos-45.6|rise, calibratable_cos-45.6|rise, other_cos-45.4|intensify, herd-47.5.2|gather, herd-47.5.2|gather, other_cos-45.4|deepen, grow-26.2|develop, other_cos-45.4|double, sustain-55.6|protract, modes_of_being_with_motion-47.3|drift, other_cos-45.4|double, remedy-45.7|magnify, fill-9.8|enrich, other_cos-45.4|intensify, other_cos-45.4|expand, other_cos-45.4|tauten, gorge-39.6|prosper, gorge-39.6|prosper, remedy-45.7|fortify, other_cos-45.4|fructify, calibratable_cos-45.6|gain, herd-47.5.2|gather, reach-51.8|make, convert-26.6.2|go_back, calibratable_cos-45.6|rise, reach-51.8|make, other_cos-45.4|improve, calibratable_cos-45.6|increase, remedy-45.7|inspissate, other_cos-45.4|intensify, entity_specific_cos-45.5|swell, other_cos-45.4|quicken, ...


appearance as argument number 1
-------------------------


s__documentation(s__Increasing,s__ChineseLanguage,'"这是当 PhysicalQuantity 在增加时的任何 QuantityChange。"')

 chinese_format.kif 2983-2984
s__documentation(s__Increasing,s__EnglishLanguage,'"Any QuantityChange where the PhysicalQuantity is increased."')

 Merge.kif 10134-10135
s__externalImage(s__Increasing,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Monotonicity_example1.png"')

 pictureList.kif 6626-6626
s__externalImage(s__Increasing,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Monotonicity_example2.png"')

 pictureList.kif 7108-7108
s__externalImage(s__Increasing,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Monotonicity_example3.png"')

 pictureList.kif 7109-7109
s__relatedInternalConcept(s__Increasing,s__Putting)

 Merge.kif 10132-10132 Increasing is internally related to putting
s__subclass(s__Increasing,s__QuantityChange)

s__instance(s__Increasing,s__SetOrClass)

s__instance(s__QuantityChange,s__SetOrClass)

 Merge.kif 10131-10131 Increasing is a subclass of quantity change

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


s__partition__3(s__QuantityChange,s__Increasing,s__Decreasing)

 Merge.kif 10126-10126 Quantity change is exhaustively partitioned into increasing and decreasing
s__instance(s__Accelerating,s__SetOrClass)

s__subclass(s__Accelerating,s__Increasing)

s__instance(s__Increasing,s__SetOrClass)

 Mid-level-ontology.kif 14724-14724 Accelerating is a subclass of increasing
s__instance(s__Increasing,s__SetOrClass)

s__instance(s__Bloating,s__SetOrClass)

s__subclass(s__Bloating,s__Increasing)

 Mid-level-ontology.kif 6141-6141 Bloating is a subclass of increasing
s__instance(s__Increasing,s__SetOrClass)

s__instance(s__Heating,s__SetOrClass)

s__subclass(s__Heating,s__Increasing)

 Merge.kif 10151-10151 Heating is a subclass of increasing
s__subclass(s__Inflating,s__Increasing)

s__instance(s__Inflating,s__SetOrClass)

s__instance(s__Increasing,s__SetOrClass)

 Cars.kif 3578-3578 Inflating is a subclass of increasing
s__instance(s__Increasing,s__SetOrClass)

s__instance(s__Lengthening,s__SetOrClass)

s__subclass(s__Lengthening,s__Increasing)

 Mid-level-ontology.kif 21742-21742 Lengthening is a subclass of increasing
s__instance(s__Increasing,s__SetOrClass)

s__instance(s__Proliferation,s__SetOrClass)

s__subclass(s__Proliferation,s__Increasing)

 MilitaryProcesses.kif 1432-1432 Proliferation is a subclass of increasing
s__instance(s__Increasing,s__SetOrClass)

s__subclass(s__Saving,s__Increasing)

s__instance(s__Saving,s__SetOrClass)

 Mid-level-ontology.kif 21759-21759 Saving is a subclass of increasing
s__termFormat(s__ChineseLanguage,s__Increasing,'"增加"')

 chinese_format.kif 1109-1109
s__termFormat(s__EnglishLanguage,s__Increasing,'"increasing"')

 english_format.kif 1440-1440

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 10137-10149


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners