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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Downhill

 Sigma KEE - Downhill
Downhill(downhill)
declivitous, downhill, downward-sloping

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 Downhill is an instance of positional attribute

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1704-1704 Uphill is the opposite of downhill
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