AppleIPhoneOS1
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 120-121 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 117-118 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 112-115 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 123-125 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 111-111 | AppleIPhoneOS1 est une sous-classe de AppleIOS |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 692-692 | deviceOS AppleIPhone1 and AppleIPhoneOS1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 129-129 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 128-128 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 127-127 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 130-130 |