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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - QuantityChange

appearance as argument number 1

(documentation QuantityChange ChineseLanguage "这是任何当和 patient 有关的一个 PhysicalQuantity 受到改变时的 InternalChange。") chinese_format.kif 2981-2982
(documentation QuantityChange EnglishLanguage "Any InternalChange where a PhysicalQuantity associated with the patient is altered.") Merge.kif 10447-10448
(partition QuantityChange Increasing Decreasing) Merge.kif 10445-10445
(subclass QuantityChange InternalChange) Merge.kif 10444-10444

appearance as argument number 2

(subclass Decreasing QuantityChange) Merge.kif 10491-10491
(subclass Focusing QuantityChange) Mid-level-ontology.kif 3278-3278
(subclass Increasing QuantityChange) Merge.kif 10450-10450
(termFormat ChineseLanguage QuantityChange "量变") chinese_format.kif 1108-1108
(termFormat EnglishLanguage QuantityChange "quantity change") english_format.kif 1438-1438

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

Show without tree

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