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 10767-10768
(partition QuantityChange Increasing Decreasing) Merge.kif 10765-10765
(subclass QuantityChange InternalChange) Merge.kif 10764-10764

appearance as argument number 2

(subclass Decreasing QuantityChange) Merge.kif 10811-10811
(subclass Focusing QuantityChange) Mid-level-ontology.kif 3299-3299
(subclass Increasing QuantityChange) Merge.kif 10770-10770
(termFormat ChineseLanguage QuantityChange "量变") chinese_format.kif 1108-1108
(termFormat EnglishLanguage QuantityChange "quantity change") english_format.kif 1433-1433

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