ProvidenceRhodeIsland - Sigma Knowledge base Browser

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	天意罗德岛是美国城市的 instance

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