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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AndeanSpain
AndeanSpain(andean spain)
more pictures...		andean_spain, 安第斯西班牙

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1431-1431
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8339-8339 "http://upload.wikimedia.org/wikipedia/commons/0/03/ Andes_Chile_Argentina.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8869-8869 "http://upload.wikimedia.org/wikipedia/commons/1/15/ Llullaillaco.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8870-8870 "http://upload.wikimedia.org/wikipedia/commons/2/20/ El_misti.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8871-8871 "http://upload.wikimedia.org/wikipedia/commons/2/2b/ Aconcagua_-_Argentina_-_January_2005_-_by_Sergio_Schmiegelow.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8872-8872 "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Alpamayo.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8873-8873 "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Licancabur.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8874-8874 "http://upload.wikimedia.org/wikipedia/commons/4/49/ Parinacota.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8875-8875 "http://upload.wikimedia.org/wikipedia/commons/9/91/ Chimborazo_from_southwest.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8876-8876 "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Stgo_Abril.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8878-8878 "http://upload.wikimedia.org/wikipedia/en/5/5c/Peruvianterracefarmers.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8879-8879 "http://upload.wikimedia.org/wikipedia/en/9/9e/Browncanyonquilotoa.jpg" is a URL depicting andean spain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2533-2533 Andean spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1430-1430 Andean spain is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2534-2534 Andean spain has name "Andean"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7447-7447 "安第斯西班牙" is the printable form of andean spain in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7446-7446 "安第斯西班牙" is the printable form of andean spain in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7445-7445 "andean spain" is the printable form of andean spain in english language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners