No TPTP formula. May not be expressible in strict first order. | Communications.kif 380-380 | TelevisionReceiver est une sous-classe de ReceiverDevice |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 381-381 | TelevisionReceiver est une sous-classe de composant d'un appareil |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2097-2097 | AppleTV est une sous-classe de TelevisionReceiver |