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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Australia

Sigma KEE - Australia
Australia(澳大利亞)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2965-2965 澳元澳大利亞currency 類別
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 發達經濟澳大利亞economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 147-147 發達國家澳大利亞economy 類別
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 澳大利亞大洋洲geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 661-661 澳大利亞 and Nation
No TPTP formula. May not be expressible in strict first order. Media.kif 359-359 ChristmasDay澳大利亞national 節日
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 662-662 部分 澳大利亞 and 大洋洲

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3924-3924 澳大利亞南極洲claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3732-3732 阿什莫爾和卡地亞島嶼澳大利亞dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3754-3754 聖誕島澳大利亞dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3758-3758 科科斯基林群島澳大利亞dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3762-3762 珊瑚海島嶼澳大利亞dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3787-3787 聽過島嶼和麥當勞群島澳大利亞dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3825-3825 諾福克島澳大利亞dependent
No TPTP formula. May not be expressible in strict first order. Geography.kif 5106-5106 艾爾湖澳大利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3128-3128 林茨澳大利亞澳大利亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30549-30549 Crocodile inhabits 澳大利亞
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20316-20316 Kangaroo inhabits 澳大利亞
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30455-30455 Parrot inhabits 澳大利亞
No TPTP formula. May not be expressible in strict first order. Cars.kif 4498-4498 HoldenCorporationheadquarters 是在 澳大利亞
No TPTP formula. May not be expressible in strict first order. Cars.kif 4837-4837 SimmonsCorpheadquarters 是在 澳大利亞
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4195-4195 "Australia" and 澳大利亞
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" 在 ISO-3166-1-alpha-2 denotes 澳大利亞


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