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 德州 是 美國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1110-1110 例 德州 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1113-1113 空間的符合 德州 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1112-1112 空間的符合 德州 and 墨西哥
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1111-1111 空間的符合 德州 and 新墨西哥

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5007-5007 PeterbiltCorp 的 headquarters 是在 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 891-891 空間的符合 阿肯色州 and 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 912-912 空間的符合 科羅拉多州 and 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 962-962 空間的符合 Kansas and 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 972-972 空間的符合 路易斯安那州 and 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1117-1117 名 "Texas" and 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 部分 達拉斯得克薩斯 and 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 828-828 部分 休斯敦，德克薩斯州 and 德州
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