No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3192-3192 |
1 Day 是 南极条约 的 agreement 采用日期 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3193-3193 |
?D 是 23 Day 的 instance 是 南极条约 的 agreement 生效日期 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6097-6097 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6099-6099 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3190-3190 |
南极条约 是 协议 的 instance |