TVRemoteControl
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1109-1109 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 775-775 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1104-1104 | 例 田納西 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1105-1105 | 空間的符合 田納西 and 阿拉巴馬 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1107-1107 | 空間的符合 田納西 and 阿肯色州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1106-1106 | 空間的符合 田納西 and 密西西比州 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1108-1108 | 空間的符合 田納西 and 密蘇里州 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 966-966 | 空間的符合 肯塔基 and 田納西 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1065-1065 | 空間的符合 北卡羅來納 and 田納西 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1136-1136 | 空間的符合 弗吉尼亞州 and 田納西 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 733-733 | 部分 孟菲斯田納西州 and 田納西 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 753-753 | 部分 納什維爾田納西州 and 田納西 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57494-57494 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57493-57493 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57492-57492 |