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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StateChange

Sigma KEE - StateChange
StateChange(状态改变)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3335-3336
No TPTP formula. May not be expressible in strict first order. Merge.kif 13799-13800
No TPTP formula. May not be expressible in strict first order. Merge.kif 13798-13798 状态改变内部变化subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13968-13968 沸腾状态改变subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10515-10515 Clotting状态改变subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14014-14014 凝结状态改变subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3179-3179 Curdling状态改变subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6991-6991 凝华状态改变subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13993-13993 蒸发状态改变subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14035-14035 结冰状态改变subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13947-13947 溶化状态改变subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 7041-7041 升华状态改变subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1226-1226
No TPTP formula. May not be expressible in strict first order. english_format.kif 1673-1673
No TPTP formula. May not be expressible in strict first order. french_format.kif 904-904
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 437-437
No TPTP formula. May not be expressible in strict first order. terms-it.txt 440-440
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2588-2588
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 856-856
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 476-476
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 925-925
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 441-441

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13802-13813


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