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...

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 8336-8336
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8863-8863
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8864-8864
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8865-8865
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8866-8866
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8867-8867
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8868-8868
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8869-8869
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8870-8870
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8872-8872
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8873-8873
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2532-2532 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 2533-2533 Andean spain has &ames$"name" "Andean"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7441-7441 Andean spain has &ames$"name" "Andean"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7440-7440 Andean spain has &ames$"name" "Andean"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7439-7439 Andean spain has &ames$"name" "Andean"


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