TreeView Knowledge Base Browser - GeneralSantosPhilippines

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1735-1735
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5252-5252
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5119-5119
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5254-5254
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5253-5253
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2861-2861	General santos philippines is a geographic subregion of philippines
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1734-1734	General santos philippines is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2862-2862	General santos philippines has name "General Santos"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25734-25734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25733-25733
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25732-25732