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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Texas

 Sigma KEE - Texas
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 geographicSubregion Texas and UnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1110-1110 Texas est une instance de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1113-1113 Texas rencontre GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1112-1112 Texas rencontre Mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1111-1111 Texas rencontre NewMexico

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5007-5007 headquartersOfOrganization PeterbiltCorp and Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 891-891 Arkansas rencontre Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 912-912 Colorado rencontre Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 962-962 Kansas rencontre Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 972-972 Louisiana rencontre Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1117-1117 Texas s'appele nom "Texas"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 DallasTexas est une partie de Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 828-828 HoustonTexas est une partie de 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 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