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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Missouri

 Sigma KEE - Missouri
Missouri(密蘇里州)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1018-1018
No TPTP formula. May not be expressible in strict first order. pictureList.kif 599-599
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1014-1014 例 密蘇里州 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1016-1016 空間的符合 密蘇里州 and Kansas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1015-1015 空間的符合 密蘇里州 and Nebraska
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1017-1017 空間的符合 密蘇里州 and Oklahoma

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 949-949 空間的符合 伊利諾伊 and 密蘇里州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 958-958 空間的符合 Iowa and 密蘇里州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 967-967 空間的符合 肯塔基 and 密蘇里州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1108-1108 空間的符合 田納西 and 密蘇里州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 728-728 部分 堪薩斯城密蘇里州 and 密蘇里州
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 783-783 部分 聖路易斯密蘇里州 and 密蘇里州
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38061-38061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38060-38060
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38059-38059


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