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	华盛顿特区美国是美国城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 985-985	马里兰接上华盛顿特区美国
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1133-1133	弗吉尼亚州接上华盛顿特区美国
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3670-3670	华盛顿特区美国的名是 "Washington DC."
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