TreeView Knowledge Base Browser - ClimateChangeIssue

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9071-9071
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9072-9072
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9073-9073
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8423-8423
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9074-9074
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9070-9070
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9075-9075
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9076-9076
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6857-6857	气候变化问题是环境问题的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6858-6858	气候变暖问题是气候变化问题的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6863-6863	稀薄的极地冰袋问题是气候变化问题的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15138-15138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15137-15137
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15136-15136