No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3283-3283 |
conventionalLongName "Montreal Protocol on Substances That Deplete the Ozone Layer" and OzoneLayerProtectionProtocol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3287-3287 |
conventionalShortName "Montreal Protocol" and OzoneLayerProtectionProtocol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3285-3285 |
conventionalShortName "Ozone Layer Protection" and OzoneLayerProtectionProtocol |
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 |
|