Jack is a thing.
All phones are things. All cellphones are phones.  All iPhones are cellphones.  All engineers are workers. All workers are human.  Jack is either an engineer or a worker. Jack is is either a human or a phone.
∀x (Phone(x) → Thing(x)) ∀x (Cellphone(x) → Phone(x)) ∀x (Iphone(x) → Cellphone(x)) ∀x (Engineer(x) → Worker(x)) ∀x (Worker(x) → Human(x)) Engineer(jack) ⊕ Worker(jack)  Human(jack) ⊕ Phone(jack)