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 e' uma instancia de AmericanState
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1113-1113 Texas encontra GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1112-1112 Texas encontra Mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1111-1111 Texas encontra NewMexico

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5015-5015 headquartersOfOrganization PeterbiltCorp and Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 891-891 Arkansas encontra Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 912-912 Colorado encontra Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 962-962 Kansas encontra Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 972-972 Louisiana encontra Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1117-1117 Texas se chama nome "Texas"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 DallasTexas e' uma &parte de Texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 828-828 HoustonTexas e' uma &parte 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