Australia
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2965-2965 | currencyType Australia and AustralianDollar |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1184-1185 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 535-535 | economyType Australia and AdvancedEconomy |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 147-147 | economyType Australia and DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 245-245 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 660-660 | geographicSubregion Australia and Oceania |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 661-661 | Australia est une instance de nation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 359-359 | nationalHoliday Australia and ChristmasDay |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 662-662 | Australia est une partie de Oceania |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3924-3924 | claimedTerritory Antarctica and Australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3732-3732 | dependentGeopoliticalArea AshmoreAndCartierIslands and Australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3754-3754 | dependentGeopoliticalArea ChristmasIsland and Australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3758-3758 | dependentGeopoliticalArea CocosKeelingIslands and Australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3762-3762 | dependentGeopoliticalArea CoralSeaIslands and Australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3787-3787 | dependentGeopoliticalArea HeardIslandAndMcDonaldIslands and Australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3825-3825 | dependentGeopoliticalArea NorfolkIsland and Australia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5106-5106 | geographicSubregion LakeEyre and Australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3128-3128 | geographicSubregion LinzAustralia and Australia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30537-30537 | habitatOfOrganism Crocodile and Australia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20315-20315 | habitatOfOrganism Kangaroo and Australia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30443-30443 | habitatOfOrganism Parrot and Australia |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4506-4506 | headquartersOfOrganization HoldenCorporation and Australia |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4845-4845 | headquartersOfOrganization SimmonsCorp and Australia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4195-4195 | Australia s'appele nom "Australia" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9072-9072 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9071-9071 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9070-9070 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2651-2651 | codeMapping ISO-3166-1-alpha-2, "AU" and Australia |