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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Iran

 Sigma KEE - Iran
Iran

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3217-3217 currencyType Iran and IranianRial
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1262-1262
No TPTP formula. May not be expressible in strict first order. Economy.kif 661-661 economyType Iran and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 277-277 economyType Iran and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 518-518
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 246-246 geographicSubregion Iran and MiddleEastRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 247-247 Iran e' uma instancia de Nacao
No TPTP formula. May not be expressible in strict first order. Government.kif 1445-1445 leaderPosition Iran and President
No TPTP formula. May not be expressible in strict first order. Geography.kif 5162-5162 Iran encontra GulfOfOman
No TPTP formula. May not be expressible in strict first order. Geography.kif 5155-5155 Iran encontra PersianGulf

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3574-3574 geographicSubregion TeheranIran and Iran
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4004-4004 Iran se chama nome "Iran"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30955-30955
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30954-30954
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30953-30953

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2723-2723 codeMapping ISO-3166-1-alpha-2, "IR" and Iran


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