No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3174-3175 |
Antarctic- environmental protocol is a conventional long name of "Protocol on Environmental Protection to the Antarctic Treaty" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7740-7740 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7739-7739 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7738-7738 |
|