|
|
  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 | 例 臭氧消耗問題 and 環境問題 |
| 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 |
|
|
|
