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	例氣候變化問題 and 環境問題

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6858-6858	子屬性氣候變暖問題 and 氣候變化問題
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6863-6863	子屬性稀薄的極地冰袋問題 and 氣候變化問題
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