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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Texas
Texas(texas)
Lone-Star_State, TX, Texas

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1114-1115
No TPTP formula. May not be expressible in strict first order. pictureList.kif 776-776
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1116-1116 Texas is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1110-1110 Texas is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1113-1113 Texas meets Gulf of mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1112-1112 Texas meets mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1111-1111 Texas meets new mexico

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5007-5007 The headquarters of Peterbilt is in texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 891-891 Arkansas meets texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 912-912 Colorado meets texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 962-962 Kansas meets texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 972-972 Louisiana meets texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1117-1117 Texas has name "Texas"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 Dallas texas is a part of texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 828-828 Houston texas is a part of texas
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57692-57692
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57691-57691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57690-57690


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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