|
|
  California
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 896-896 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 311-311 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 895-895 | 例 加州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 904-904 | 空間的符合 加州 and 墨西哥 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 905-905 | 空間的符合 加州 and 新墨西哥 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 906-906 | 空間的符合 加州 and Oregon |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 903-903 | 空間的符合 加州 and 太平洋 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 907-907 | 空間的符合 加州 and 華盛頓 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5103-5103 | 薩爾頓海 是 加州 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4674-4674 | EBay 的 headquarters 是在 加州 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4555-4555 | Netflix 的 headquarters 是在 加州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 885-885 | 空間的符合 Arizona and 加州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1031-1031 | 空間的符合 Nevada and 加州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1083-1083 | 空間的符合 Oregon and 加州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 810-810 | 部分 洛杉磯加利福尼亞州 and 加州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 791-791 | 部分 舊金山加利福尼亞州 and 加州 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12733-12733 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12732-12732 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12731-12731 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 812-817 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 897-901 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 897-901 |
|
|
|
|
