| Australia(australia)
| | Australia, Commonwealth_of_Australia |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3302-3302 | Australian dollar is a currency type of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1184-1185 | Australian dollar is a currency type of australia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 535-535 | Advanced economy is an economy type of australia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 147-147 | Developed country is an economy type of australia |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 245-245 | Developed country is an economy type of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 660-660 | Australia is a geographic subregion of oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 661-661 | Australia is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 359-359 | Christmas day is a national holiday of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 662-662 | Australia is a part of oceania |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3924-3924 | Australia is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3732-3732 | Ashmore and cartier islands is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3754-3754 | Christmas island is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3758-3758 | Cocos keeling islands is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3762-3762 | Coral sea islands is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3787-3787 | Heard island and mc donald islands is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3825-3825 | Norfolk island is a dependent of australia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5176-5176 | Lake eyre is a geographic subregion of australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3128-3128 | Linz australia is a geographic subregion of australia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32242-32242 | Crocodile inhabits australia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21950-21950 | Kangaroo inhabits australia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32148-32148 | Parrot inhabits australia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4559-4559 | The headquarters of Holden Corporation is in australia |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4898-4898 | The headquarters of Simmons corp is in australia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4195-4195 | Australia has name "Australia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9079-9079 | Australia has name "Australia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9078-9078 | Australia has name "Australia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9077-9077 | Australia has name "Australia" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2653-2653 | "AU" in ISO_3166_1_alpha_2 denotes australia |
|
|
|