No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3216-3217 |
conventionalLongName "Kyoto Protocol to the United Nations Framework Convention on Climate Change" and ClimateChange-KyotoProtocol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3220-3220 |
conventionalShortName "Climate Change Kyoto Protocol" and ClimateChange-KyotoProtocol |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3219-3219 |
conventionalShortName "Kyoto Protocol" and ClimateChange-KyotoProtocol |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15126-15126 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15125-15125 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15124-15124 |
|