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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QuitoEcuador

Sigma KEE - QuitoEcuador
QuitoEcuador(基多厄瓜多爾)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2218-2218
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3409-3409 基多厄瓜多爾厄瓜多爾geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2217-2217 基多厄瓜多爾 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3410-3410 "Quito" and 基多厄瓜多爾
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48374-48374
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48373-48373
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48372-48372


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