| 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 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 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 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 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 7783-7783 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7782-7782 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7781-7781 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
|
|
|