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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IbsrilIraq

Sigma KEE - IbsrilIraq
IbsrilIraq

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


(documentation IbsrilIraq EnglishLanguage "The City of Ibsril in Iraq.") CountriesAndRegions.kif 1807-1807
(geographicSubregion IbsrilIraq Iraq) CountriesAndRegions.kif 2941-2941 geographicSubregion IbsrilIraq and Iraq
(instance IbsrilIraq City) CountriesAndRegions.kif 1806-1806 IbsrilIraq都市instance では %n

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


(names "Ibsril" IbsrilIraq) CountriesAndRegions.kif 2942-2942 IbsrilIraq は "Ibsril" の name を 持って %n{ない}
(termFormat ChineseLanguage IbsrilIraq "ibsril伊拉克") domainEnglishFormat.kif 29103-29103
(termFormat ChineseTraditionalLanguage IbsrilIraq "ibsril伊拉克") domainEnglishFormat.kif 29102-29102
(termFormat EnglishLanguage IbsrilIraq "ibsril iraq") domainEnglishFormat.kif 29101-29101


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