AntarcticTreaty - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3118-3118	The day 1 is an agreement adoption date of antarctic treaty
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3119-3119	?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
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 3116-3116	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 3117-3117	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
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7780-7780
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7779-7779