WorldFederationOfTradeUnions WashingtonDCUnitedStates
|
|
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 |