Nebraska InternalChange
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1028-1028 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5374-5374 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5149-5149 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5375-5375 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1024-1024 | 例 Nebraska and 美國國家 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1026-1026 | 空間的符合 Nebraska and 科羅拉多州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1027-1027 | 空間的符合 Nebraska and Kansas |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1025-1025 | 空間的符合 Nebraska and 懷俄明 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 957-957 | 空間的符合 Iowa and Nebraska |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1015-1015 | 空間的符合 密蘇里州 and Nebraska |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1102-1102 | 空間的符合 SouthDakota and Nebraska |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65229-65229 |