AppleTV(苹果 TV) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2111-2114 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2108-2109 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2103-2106 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2116-2120 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2097-2097 | 苹果 TV 是 电视接收器 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2100-2100 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2099-2099 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2098-2098 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2101-2101 |