| AntarcticTreaty(antarctic treaty)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3180-3180 | The day 1 of month the month December is an agreement adoption date of antarctic treaty |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3181-3181 | ?D is an instance of the day 23 of month the month June is an agreement effective date of antarctic treaty |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6096-6096 | ?D is an instance of the day 23 of month the month June is an agreement effective date of antarctic treaty |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6098-6098 | ?D is an instance of the day 23 of month the month June is an agreement effective date of antarctic treaty |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3178-3178 | Antarctic treaty is an instance of agreement |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3179-3179 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7777-7777 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7776-7776 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7775-7775 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
|
|
|