OzoneDepletionIssue
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8633-8633 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9507-9507 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9505-9505 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9506-9506 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6855-6855 | 臭氧消耗问题 是 环境问题 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43842-43842 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43841-43841 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43840-43840 |