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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DallasTexas

Sigma KEE - DallasTexas
DallasTexas(dallas texas)
more pictures...
Dallas

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 Dallas texas is an instance of american city
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 Dallas texas is a part of texas

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