Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 62-66	If a class is a subclass of windows OS and an entity is an instance of the class, then Microsoft created the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 30-34	If a class is a subclass of Android and an entity is an instance of the class, then Alphabet created the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 93-97	If a class is a subclass of IOS and an entity is an instance of the class, then Apple created the entity