Washington
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1143-1143 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 832-832 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1139-1139 | 华盛顿 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1140-1140 | 华盛顿 接上 加拿大 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1142-1142 | 华盛顿 接上 Oregon |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1141-1141 | 华盛顿 接上 太平洋 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 907-907 | 加州 接上 华盛顿 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 941-941 | Idaho 接上 华盛顿 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62271-62271 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62270-62270 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62269-62269 |