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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 德州 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1113-1113 德州 接上 GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1112-1112 德州 接上 墨西哥
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1111-1111 德州 接上 新墨西哥

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 5015-5015 PeterbiltCorp 的 headquarters 是在 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 891-891 阿肯色州 接上 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 912-912 科罗拉多州 接上 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 962-962 Kansas 接上 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 972-972 路易斯安那州 接上 德州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1117-1117 德州 的名 是 "Texas"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 851-851 达拉斯得克萨斯 是 德州 的 part
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 828-828 休斯敦，德克萨斯州 是 德州 的 part
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