QuantityChange - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - QuantityChange

QuantityChange(quantity change)

bit-by-bit, change_intensity, climate_change, cured, direct, global_climate_change, gradational, gradatory, gradient, gradual, graduated, gravity_gradient, hold_the_line, in_small_stages, louden, piecemeal, sharpened, step-by-step, stepwise, temperature_change, temperature_gradient, vulcanised, vulcanized

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2981-2982
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10875-10876
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1741-1742
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10873-10873	Quantity change is exhaustively partitioned into increasing and decreasing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10872-10872	Quantity change is a subclass of internal change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10935-10935	Decreasing is a subclass of quantity change
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3343-3343	Focusing is a subclass of quantity change
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10893-10893	Increasing is a subclass of quantity change
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1108-1108
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1433-1433
No TPTP formula. May not be expressible in strict first order.	french_format.kif 786-786
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 318-318
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 321-321
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2470-2470
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 738-738
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 323-323
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 357-357
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 807-807
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 322-322

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 10878-10891

If a process is an instance of quantity change and an entity is a patient of the process,
then there exist another entity, a third entity,, , a time interval,, , another time interval and a fourth entity such that the time interval happens earlier than the other time interval and the measure of the entity is the other entity the fourth entity(s) holds during the time interval and the measure of the entity is the third entity the fourth entity(s) holds during the other time interval and the other entity is not equal to the third entity

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