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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Decreasing
Decreasing(decreasing)
abate, abatement, abatement_of_a_nuisance, abbreviation, ablated, aggravate, allargando, allow, amortisation, amortization, astringe, atrophied, attenuate, attenuated, attenuation, attrition, backslide, bankrupt, bate, bated, battle_damage, belittle, bite, black, blow_over, blunt, bog, bog_down, bottleneck, brain_drain, break, bring_down, budget_cut, calando, calm_down, capital_loss, castrate, casualty, catch, change, check, choke, choke_back, choke_down, choke_off, chokepoint, clog, cloud, coarctation, collapse...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2987-2988
No TPTP formula. May not be expressible in strict first order. Merge.kif 10808-10809
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7108-7108
No TPTP formula. May not be expressible in strict first order. Merge.kif 10806-10806 Decreasing is internally related to removing
No TPTP formula. May not be expressible in strict first order. Merge.kif 10805-10805 Decreasing is a subclass of quantity change

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6111-6111 Atrophy is a subclass of decreasing
No TPTP formula. May not be expressible in strict first order. Cars.kif 1247-1247 Braking is a subclass of decreasing
No TPTP formula. May not be expressible in strict first order. Merge.kif 10826-10826 Cooling is a subclass of decreasing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16606-16606 Decelerating is a subclass of decreasing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16644-16644 Shortening is a subclass of decreasing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1111-1111
No TPTP formula. May not be expressible in strict first order. english_format.kif 1439-1439

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10759-10759 Quantity change is exhaustively partitioned into increasing and decreasing

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10811-10824


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 3.0 is open source software produced by Articulate Software and its partners