AndeanSpain - Sigma Knowledge base Browser

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"