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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Afghanistan
Afghanistan(afghanistan)
Afghanistan, Islamic_State_of_Afghanistan

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2894-2894 Afghan afghani is a currency type of afghanistan
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 610-610 Developing country is an economy type of afghanistan
No TPTP formula. May not be expressible in strict first order. Economy.kif 231-231 Less developed country is an economy type of afghanistan
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 Afghanistan is a geographic subregion of southern asia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 568-568 Afghanistan is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2915-2915 Heart afghanistan is a geographic subregion of afghanistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3009-3009 Kabul afghanistan is a geographic subregion of afghanistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3170-3170 Maidan shar afghanistan is a geographic subregion of afghanistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4160-4160 Afghanistan has name "Afghanistan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5709-5709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5708-5708
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5707-5707

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2632-2632 "AF" in ISO-3166-1-alpha-2 denotes 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