deviceOS |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 730-732 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 727-727 | O argumento numero 1 de deviceOS e' uma sub-classe de OperatingSystem |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 728-728 | O argumento numero 2 de deviceOS e' uma sub-classe de Computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 726-726 | deviceOS e' uma instancia de Relacao Binaria |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 729-729 | deviceOS e' uma sub-relacao de canRunOn |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65809-65809 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 734-743 |
|
appearance as argument number 0 |
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 722-722 | deviceOS AppleIPhone11 and AppleIPhoneOS13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 724-724 | deviceOS AppleIPhone11ProMax and AppleIPhoneOS13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 723-723 | deviceOS AppleIPhone11pro and AppleIPhoneOS13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 694-694 | deviceOS AppleIPhone3GS and AppleIPhoneOS3 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 693-693 | deviceOS AppleIPhone3g and AppleIPhoneOS2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 695-695 | deviceOS AppleIPhone4 and AppleIPhoneOS4 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 696-696 | deviceOS AppleIPhone4s and AppleIPhoneOS5 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 697-697 | deviceOS AppleIPhone5 and AppleIPhoneOS6 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 698-698 | deviceOS AppleIPhone5c and AppleIPhoneOS7 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 699-699 | deviceOS AppleIPhone5s and AppleIPhoneOS7 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 700-700 | deviceOS AppleIPhone6 and AppleIPhoneOS8 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 701-701 | deviceOS AppleIPhone6plus and AppleIPhoneOS8 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 705-705 | deviceOS AppleIPhone6s and AppleIPhoneOS901 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 706-706 | deviceOS AppleIPhone6splus and AppleIPhoneOS901 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 711-711 | deviceOS AppleIPhone7 and AppleIPhoneOS10 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 712-712 | deviceOS AppleIPhone7plus and AppleIPhoneOS10 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 713-713 | deviceOS AppleIPhone8 and AppleIPhoneOS11 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 714-714 | deviceOS AppleIPhone8plus and AppleIPhoneOS11 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 715-715 | deviceOS AppleIPhoneX and AppleIPhoneOS111 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 721-721 | deviceOS AppleIPhoneXR and AppleIPhoneOS12 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 719-719 | deviceOS AppleIPhoneXS and AppleIPhoneOS12 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 720-720 | deviceOS AppleIPhoneXSmax and AppleIPhoneOS12 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 707-707 | deviceOS AppleIPhonese and AppleIPhoneOS93 |