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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemperateRainForest
TemperateRainForest(temperate rain forest)
temperate_rain_forest

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3221-3221
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3223-3223
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3002-3002
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3222-3222
No TPTP formula. May not be expressible in strict first order. Geography.kif 6374-6374 Temperate rain forest is a subclass of rain forest
No TPTP formula. May not be expressible in strict first order. Geography.kif 6373-6373 Temperate rain forest is a subclass of temperate hardwood forest

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57416-57416
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57415-57415
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57414-57414


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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