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 13994-13995
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 13993-13993 蒸发 是 状态改变 的 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 13999-14012

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2068-2074
No TPTP formula. May not be expressible in strict first order. Cars.kif 2006-2026


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