| Anguilla(anguilla)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3728-3728 | Anguilla is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3729-3729 | Anguilla is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 224-224 | Anguilla is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 427-427 | Anguilla is a geographic subregion of caribbean region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3859-3859 | Anguilla is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 416-416 | Anguilla is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4085-4085 | Anguilla has name "Anguilla" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7537-7537 | Anguilla has name "Anguilla" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7536-7536 | Anguilla has name "Anguilla" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7535-7535 | Anguilla has name "Anguilla" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2844-2844 | "AI" in ISO_3166_1_alpha_2 denotes anguilla |
|
|
|