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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DallasTexas

 Sigma KEE - DallasTexas
DallasTexas(達拉斯得克薩斯)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 852-852
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6337-6337
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6338-6338
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5943-5943
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6322-6322
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6323-6323
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6324-6324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6326-6326
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6327-6327
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6332-6332
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6334-6334
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 850-850 例 達拉斯得克薩斯 and 美國城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 部分 達拉斯得克薩斯 and 德州

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18420-18420
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18419-18419
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18418-18418


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