No TPTP formula. May not be expressible in strict first order.	Geography.kif 6887-6887	核污染问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6833-6833	过度放牧问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6902-6902	过度捕猎问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6852-6852	人口过剩问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6855-6855	臭氧消耗问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6872-6872	农药问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6886-6886	污染鱼类库存问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6880-6880	人口迁移问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6854-6854	淤积问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6856-6856	紫外线水平问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6900-6900	未爆弹药问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6868-6868	城市化问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6883-6883	水传疾病问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6849-6849	水基础设施问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6859-6859	水管理问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6891-6891	湿地退化问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6888-6888	野生动物偷猎问题 是 环境问题 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6853-6853	生物多样性问题 是 环境问题 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6882-6882	疾病状况问题 是 环境问题 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6830-6830	环境水问题 是 环境问题 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6842-6842	污染问题 是 环境问题 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6826-6826	土壤品质问题 是 环境问题 的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22252-22252
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22251-22251
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22250-22250
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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