TreeView Knowledge Base Browser - Dominica

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Dominica

Dominica(多米尼加)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3109-3109	多米尼加元是多米尼加的 currency 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3113-3113	多米尼加比索是多米尼加的 currency 類別
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1226-1226
No TPTP formula. May not be expressible in strict first order.	Economy.kif 641-641	發展中國家是多米尼加的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 257-257	較未發達國家是多米尼加的 economy 類別
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 392-392
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 440-440	多米尼加是加勒比地區的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 441-441	例多米尼加 and Nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4094-4094	名 "Dominica" and 多米尼加
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20148-20148
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20147-20147
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20146-20146

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2688-2688

"DM" 在 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