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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Swaziland
Swaziland(斯威士蘭)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3491-3491 斯威士蘭利蘭吉斯威士蘭currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1356-1356
No TPTP formula. May not be expressible in strict first order. Economy.kif 716-716 發展中國家斯威士蘭economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 332-332 較未發達國家斯威士蘭economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 763-763
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 181-181 斯威士蘭非洲南部geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 182-182 斯威士蘭 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3974-3974 "Swaziland" and 斯威士蘭
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56467-56467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56466-56466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56465-56465

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2770-2770 "SZ" 在 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