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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Evaporating

 Sigma KEE - Evaporating
Evaporating(蒸发)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1426-1427
No TPTP formula. May not be expressible in strict first order. Merge.kif 13970-13971
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4679-4679
No TPTP formula. May not be expressible in strict first order. Merge.kif 13969-13969 蒸发 是 状态改变 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22630-22630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22629-22629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22628-22628

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13975-13988

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2091-2097
No TPTP formula. May not be expressible in strict first order. Cars.kif 2029-2049


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