No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3283-3283 |
Ozone layer protection protocol is a conventional long name of "Montreal Protocol on Substances That Deplete the Ozone Layer" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3287-3287 |
Ozone layer protection protocol is a conventional short name of "Montreal Protocol" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3285-3285 |
Ozone layer protection protocol is a conventional short name of "Ozone Layer Protection" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43850-43850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43849-43849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43848-43848 |
|