Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 88-90	If a class is a subclass of IOS, then Apple created the class
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 29-31	If a class is a subclass of Android, then Alphabet created the class
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 59-61	If a class is a subclass of WindowsOS, then Microsoft created the class