|
|
  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 e' uma instancia de Nacao |
| 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 e' uma &parte 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 30549-30549 | habitatOfOrganism Crocodile and Australia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20316-20316 | habitatOfOrganism Kangaroo and Australia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30455-30455 | habitatOfOrganism Parrot and Australia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4498-4498 | headquartersOfOrganization HoldenCorporation and Australia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4837-4837 | headquartersOfOrganization SimmonsCorp and Australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4195-4195 | Australia se chama nome "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 |
|
|
|
