Indiana - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Indiana

Indiana(Indiana)

Hoosier_State, IN, Indiana

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 954-954
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5276-5276
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5277-5277
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5278-5278
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5126-5126
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 952-952	Indiana is an instance of american state
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 953-953	Indiana meets illinois

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 969-969	Kentucky meets Indiana
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 997-997	Michigan meets Indiana
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1074-1074	Ohio meets Indiana
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65027-65027

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