WashingtonDCUnitedStates - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1050-1050	美國是華盛頓特區美國的 capital 城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2448-2448
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5555-5555
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5556-5556
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5194-5194
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5559-5559
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5561-5561
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5562-5562
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5558-5558
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5557-5557
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3669-3669	華盛頓特區美國是美國的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2447-2447	例華盛頓特區美國 and 美國城市

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 985-985	空間的符合馬里蘭 and 華盛頓特區美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1133-1133	空間的符合弗吉尼亞州 and 華盛頓特區美國
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3670-3670	名 "Washington DC." and 華盛頓特區美國
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62277-62277
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62276-62276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62275-62275