Australia
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2965-2965 | Australian dollar is a currency type of australia |
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 | 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 | |
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 5106-5106 | 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 30573-30573 | Crocodile inhabits australia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20343-20343 | Kangaroo inhabits australia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30479-30479 | Parrot inhabits australia |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4483-4483 | The headquarters of Holden Corporation is in australia |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4822-4822 | 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 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 | "AU" in ISO-3166-1-alpha-2 denotes australia |