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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Afghanistan
Afghanistan

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2884-2884 currencyType Afghanistan and AfghanAfghani
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1177-1177
No TPTP formula. May not be expressible in strict first order. Economy.kif 615-615 economyType Afghanistan and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 231-231 economyType Afghanistan and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 209-209
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 567-567 geographicSubregion Afghanistan and SouthernAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 568-568 Afghanistan est une instance de nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2915-2915 geographicSubregion HeartAfghanistan and Afghanistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3009-3009 geographicSubregion KabulAfghanistan and Afghanistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3170-3170 geographicSubregion MaidanSharAfghanistan and Afghanistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4160-4160 Afghanistan s'appele nom "Afghanistan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5700-5700
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5699-5699
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5698-5698

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


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


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