No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3051-3051 |
The day 1 is an agreement adoption date of antarctic treaty |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3052-3052 |
The day 23 is an agreement effective date of antarctic treaty |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6098-6098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6100-6100 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3049-3049 |
Antarctic treaty is an instance of agreement |