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 13775-13776
No TPTP formula. May not be expressible in strict first order. Merge.kif 13774-13774 子類 StateChange and InternalChange

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13944-13944 子類 Boiling and StateChange
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10487-10487 子類 Clotting and StateChange
No TPTP formula. May not be expressible in strict first order. Merge.kif 13990-13990 子類 Condensing and StateChange
No TPTP formula. May not be expressible in strict first order. Food.kif 3179-3179 子類 Curdling and StateChange
No TPTP formula. May not be expressible in strict first order. Geography.kif 6991-6991 子類 Deposition and StateChange
No TPTP formula. May not be expressible in strict first order. Merge.kif 13969-13969 子類 蒸發 and StateChange
No TPTP formula. May not be expressible in strict first order. Merge.kif 14011-14011 子類 Freezing and StateChange
No TPTP formula. May not be expressible in strict first order. Merge.kif 13923-13923 子類 Melting and StateChange
No TPTP formula. May not be expressible in strict first order. Geography.kif 7041-7041 子類 Sublimation and StateChange
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 13778-13789


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