AntarcticTreaty - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3050-3050	Antarctic treaty is a conventional long name of "Antarctic Treaty"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7787-7787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7786-7786
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7785-7785