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 | deviceOS 的 1 数量 是 操作系统 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 728-728 | deviceOS 的 2 数量 是 电脑 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 726-726 | deviceOS 是 二元关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 729-729 | deviceOS 是 可以操作 的 subrelation |
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 IOS 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 722-722 | deviceOS AppleIPhone11 and IOS 13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 724-724 | deviceOS AppleIPhone11ProMax and IOS 13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 723-723 | deviceOS AppleIPhone11pro and IOS 13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 694-694 | deviceOS AppleIPhone3GS and IOS 3 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 693-693 | deviceOS AppleIPhone3g and IOS 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 695-695 | deviceOS AppleIPhone4 and IOS 4 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 696-696 | deviceOS AppleIPhone4s and IOS 5 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 697-697 | deviceOS AppleIPhone5 and IOS 6 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 698-698 | deviceOS AppleIPhone5c and IOS 7 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 699-699 | deviceOS AppleIPhone5s and IOS 7 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 700-700 | deviceOS AppleIPhone6 and IOS 8 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 701-701 | deviceOS AppleIPhone6plus and IOS 8 |
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 IOS 10 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 712-712 | deviceOS AppleIPhone7plus and IOS 10 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 713-713 | deviceOS AppleIPhone8 and IOS 11 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 714-714 | deviceOS AppleIPhone8plus and IOS 11 |
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 IOS 12 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 719-719 | deviceOS AppleIPhoneXS and IOS 12 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 720-720 | deviceOS AppleIPhoneXSmax and IOS 12 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 707-707 | deviceOS AppleIPhonese and AppleIPhoneOS93 |