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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Azerbaijan
Azerbaijan

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2973-2973 currencyType Azerbaijan and AzerbaijaniManat
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1187-1187
No TPTP formula. May not be expressible in strict first order. Economy.kif 576-576 economyType Azerbaijan and CountryInTransition
No TPTP formula. May not be expressible in strict first order. pictureList.kif 249-249
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 632-632 geographicSubregion Azerbaijan and SouthwesternAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 633-633 Azerbaijan est une instance de nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2594-2594 geographicSubregion BakuAzerbaijan and Azerbaijan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4191-4191 Azerbaijan s'appele nom "Azerbaijan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9450-9450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9449-9449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9448-9448

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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