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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 澳大利亚 是 国家 的 instance
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 澳大利亚 是 大洋洲 的 part

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 HoldenCorporation 的 headquarters 是在 澳大利亚
No TPTP formula. May not be expressible in strict first order. Cars.kif 4837-4837 SimmonsCorp 的 headquarters 是在 澳大利亚
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4195-4195 澳大利亚 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 澳大利亚


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