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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Alabama

Sigma KEE - Alabama
Alabama(alabama)
AL, Alabama, Camellia_State, Heart_of_Dixie

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 Alabama is an instance of american state
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 866-866 Alabama meets mississippi

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 926-926 Florida meets alabama
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 933-933 Georgia meets alabama
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1105-1105 Tennessee meets alabama
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