LaPazBolivia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1943-1943
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5763-5763
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5762-5762
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5761-5761
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5759-5759
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5760-5760
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5758-5758
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5638-5638
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3101-3101	La paz bolivia is a geographic subregion of bolivia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1942-1942	La paz bolivia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3102-3102	La paz bolivia has name "La Paz"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33349-33349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33348-33348
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33347-33347