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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Alabama

 Sigma KEE - Alabama
Alabama(阿拉巴馬)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 867-868
No TPTP formula. May not be expressible in strict first order. pictureList.kif 214-214
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 865-865 例 阿拉巴馬 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 866-866 空間的符合 阿拉巴馬 and 密西西比州

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 926-926 空間的符合 佛羅里達 and 阿拉巴馬
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 933-933 空間的符合 格魯吉亞 and 阿拉巴馬
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1105-1105 空間的符合 田納西 and 阿拉巴馬
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6372-6372
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6371-6371
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6370-6370


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