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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Downhill

 Sigma KEE - Downhill
Downhill(下坡)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1706-1708
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5964-5964
No TPTP formula. May not be expressible in strict first order. Geography.kif 1703-1703 下坡 是 位置属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1704-1704 上坡 是 下坡 的相反
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20250-20250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20249-20249
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20248-20248


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