No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3216-3217 |
Climate change- kyoto protocol is a conventional long name of "Kyoto Protocol to the United Nations Framework Convention on Climate Change" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3220-3220 |
Climate change- kyoto protocol is a conventional short name of "Climate Change Kyoto Protocol" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3219-3219 |
Climate change- kyoto protocol is a conventional short name of "Kyoto Protocol" |
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 |
|