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



KB Term:  Term intersection
English Word: 

  Cheetah

Sigma KEE - Indiana
Indiana(Indiana)
Hoosier_State, IN, Indiana

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


(instance Indiana AmericanState) CountriesAndRegions.kif 952-952 Indiana is an instance of american state
(meetsSpatially Indiana Illinois) CountriesAndRegions.kif 953-953 Indiana meets illinois
(documentation Indiana EnglishLanguage "A state in the mideastern UnitedStates.") CountriesAndRegions.kif 954-954 Indiana meets illinois
(externalImage Indiana "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ National_atlas_indiana.PNG") pictureList.kif 5125-5125 Indiana meets illinois
(externalImage Indiana "http://upload.wikimedia.org/wikipedia/commons/0/ 0b/ Indiana_state_seal.png") pictureList.kif 5275-5275 Indiana meets illinois
(externalImage Indiana "http://upload.wikimedia.org/wikipedia/commons/4/ 47/ North_manchester_indiana.jpg") pictureList.kif 5276-5276 Indiana meets illinois
(externalImage Indiana "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ National_atlas_timezones-2006.gif") pictureList.kif 5277-5277 Indiana meets illinois

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


(meetsSpatially Kentucky Indiana) CountriesAndRegions.kif 969-969 Kentucky meets Indiana
(meetsSpatially Michigan Indiana) CountriesAndRegions.kif 997-997 Michigan meets Indiana
(meetsSpatially Ohio Indiana) CountriesAndRegions.kif 1074-1074 Ohio meets Indiana
(termFormat EnglishLanguage Indiana "Indiana") domainEnglishFormat.kif 65030-65030 Ohio meets Indiana


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners