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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Damp

 Sigma KEE - Damp
Damp(潮湿)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4000-4001
No TPTP formula. May not be expressible in strict first order. Merge.kif 18004-18005
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5945-5945
No TPTP formula. May not be expressible in strict first order. Merge.kif 18003-18003 潮湿 是 饱和属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17991-17991 干 是 潮湿 的相反
No TPTP formula. May not be expressible in strict first order. Merge.kif 18008-18008 湿 是 潮湿 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18438-18438
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18437-18437
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18436-18436

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5711-5718
No TPTP formula. May not be expressible in strict first order. Geography.kif 6611-6613
No TPTP formula. May not be expressible in strict first order. Merge.kif 12751-12764


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