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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tennessee

Sigma KEE - Tennessee
Tennessee(tennessee)
TN, Tennessee, Volunteer_State

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1109-1109
No TPTP formula. May not be expressible in strict first order. pictureList.kif 775-775
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1104-1104 Tennessee is an instance of american state
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. CountriesAndRegions.kif 1107-1107 Tennessee meets arkansas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1106-1106 Tennessee meets mississippi
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1108-1108 Tennessee meets missouri

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 966-966 Kentucky meets tennessee
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1065-1065 North carolina meets tennessee
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1136-1136 Virginia meets tennessee
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 733-733 Memphis tennessee is a part of tennessee
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 753-753 Nashville tennessee is a part of tennessee
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57494-57494
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57493-57493
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57492-57492


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