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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13922-13922 子類 Boiling and StateChange
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10488-10488 子類 Clotting and StateChange
No TPTP formula. May not be expressible in strict first order. Merge.kif 13968-13968 子類 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 13947-13947 子類 蒸發 and StateChange
No TPTP formula. May not be expressible in strict first order. Merge.kif 13989-13989 子類 Freezing and StateChange
No TPTP formula. May not be expressible in strict first order. Merge.kif 13901-13901 子類 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 13756-13767


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