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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DarvazTajikistan

 Sigma KEE - DarvazTajikistan
DarvazTajikistan(達瓦茲塔吉克斯坦)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1657-1657
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5611-5611
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2771-2771 達瓦茲塔吉克斯坦 是 塔吉克斯坦 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1656-1656 例 達瓦茲塔吉克斯坦 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2772-2772 名 "Darvaz" and 達瓦茲塔吉克斯坦
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18534-18534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18533-18533
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18532-18532


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