Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Australia

Sigma KEE - Australia
Australia(australia)
Australia, Commonwealth_of_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 30549-30549 Crocodile inhabits australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20316-20316 Kangaroo inhabits australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30455-30455 Parrot inhabits australia
No TPTP formula. May not be expressible in strict first order. Cars.kif 4498-4498 The headquarters of Holden Corporation is in australia
No TPTP formula. May not be expressible in strict first order. Cars.kif 4837-4837 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners