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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaleConnector

 Sigma KEE - TemperateRainForest
TemperateRainForest

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 TemperateRainForest e' uma sub-classe de RainForest
No TPTP formula. May not be expressible in strict first order. Geography.kif 6373-6373 TemperateRainForest e' uma sub-classe de TemperateHardwoodForest

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 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