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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Indiana

 Sigma KEE - Indiana
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 是 美国国家 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 953-953 Indiana 接上 伊利诺伊

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 969-969 肯塔基 接上 Indiana
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 997-997 密歇根州 接上 Indiana
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1074-1074 俄亥俄州 接上 Indiana
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65027-65027


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