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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2975-2975 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 530-530 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 ChristmasDay 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 5004-5004 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 29927-29927 Crocodile inhabits australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19623-19623 Kangaroo inhabits australia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29833-29833 Parrot inhabits australia
No TPTP formula. May not be expressible in strict first order. Cars.kif 4501-4501 The headquarters of Holden Corporation is in australia
No TPTP formula. May not be expressible in strict first order. Cars.kif 4840-4840 The headquarters of SimmonsCorp 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 9081-9081
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9080-9080
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9079-9079

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2639-2639 "AU" in ISO-3166-1-alpha-2 denotes australia


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



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