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	一般桑托斯菲律宾是菲律宾的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1734-1734	一般桑托斯菲律宾是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2862-2862	一般桑托斯菲律宾的名是 "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