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 | The number 1 argument of device OS is a subclass of operating system |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 728-728 | The number 2 argument of device OS is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 726-726 | device OS is an instance of binary relation |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 729-729 | device OS is a subrelation of can run on |
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 | device OS Apple iPhone and IOS 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 722-722 | device OS Apple iPhone and IOS 13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 724-724 | device OS Apple iPhone and IOS 13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 723-723 | device OS Apple iPhone and IOS 13 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 694-694 | device OS Apple iPhone and IOS 3 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 693-693 | device OS Apple iPhone and IOS 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 695-695 | device OS Apple iPhone and IOS 4 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 696-696 | device OS Apple iPhone and IOS 5 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 697-697 | device OS Apple iPhone and IOS 6 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 698-698 | device OS Apple iPhone and IOS 7 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 699-699 | device OS Apple iPhone and IOS 7 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 700-700 | device OS Apple iPhone and IOS 8 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 701-701 | device OS Apple iPhone and IOS 8 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 705-705 | device OS Apple iPhone and Apple i phone oS901 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 706-706 | device OS Apple iPhone and Apple i phone oS901 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 711-711 | device OS Apple iPhone and IOS 10 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 712-712 | device OS Apple iPhone and IOS 10 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 713-713 | device OS Apple iPhone and IOS 11 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 714-714 | device OS Apple iPhone and IOS 11 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 715-715 | device OS Apple iPhone and Apple i phone oS111 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 721-721 | device OS Apple iPhone and IOS 12 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 719-719 | device OS Apple iPhone and IOS 12 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 720-720 | device OS Apple iPhone and IOS 12 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 707-707 | device OS Apple iPhone and Apple i phone oS93 |