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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OverpopulationIssue

Sigma KEE - OverpopulationIssue
OverpopulationIssue(人口过剩问题)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 9501-9501
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9502-9502
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8632-8632
No TPTP formula. May not be expressible in strict first order. Geography.kif 6852-6852 人口过剩问题环境问题instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43794-43794
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43793-43793
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43792-43792


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