PapayinColombia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2188-2188
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5774-5774
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5649-5649
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5776-5776
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5775-5775
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5773-5773
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3379-3379	Papayin colombia is a geographic subregion of colombia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2187-2187	Papayin colombia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3380-3380	Papayin colombia has name "Papayin"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44280-44280
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44279-44279
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44278-44278