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 and 美國國家
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 953-953 空間的符合 Indiana and 伊利諾伊

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 969-969 空間的符合 肯塔基 and Indiana
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 997-997 空間的符合 密歇根州 and Indiana
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1074-1074 空間的符合 俄亥俄州 and 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