TreeView Knowledge Base Browser - ProvidenceRhodeIsland

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 771-771	羅德島是天意羅德島的 capital 城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 772-773
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5449-5449
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5445-5445
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5447-5447
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5448-5448
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5446-5446
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5443-5443
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5160-5160
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5444-5444
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 770-770	例天意羅德島 and 美國城市

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47894-47894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47893-47893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47892-47892