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	"http://upload.wikimedia.org/wikipedia/commons/e/e0/ Antarctica_6400px_from_Blue_Marble.jpg" is a URL depicting antarctic treaty
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6100-6100	"http://upload.wikimedia.org/wikipedia/commons/e/e4/ Antarctic_Treaty.png" is a URL depicting antarctic treaty
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 7783-7783	"南极条约" is the printable form of antarctic treaty in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7782-7782	"南極條約" is the printable form of antarctic treaty in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7781-7781	"antarctic treaty" is the printable form of antarctic treaty in english language