Deductions
- human food has quality existence ⇐ (human food has quality class), (class has quality existence), (has quality is a transitive relation)
- human food has quality existence ⇐ (human food has quality class), (class has quality existence), (has quality is a transitive relation)
- human food has quality superclass ⇐ (human food has quality class), (class has quality superclass), (has quality is a transitive relation)
- human food has quality taxonomic rank ⇐ (human food has quality class), (class has quality taxonomic rank), (has quality is a transitive relation)
- human food has quality entity ⇐ (human food has quality class), (class has quality entity), (has quality is a transitive relation)
- human food has quality class ⇐ (potential energy is a class), (human food has quality potential energy)
- type of food or dish is for example human food ⇐ (human food is a type of food or dish), (is a is inverse of is for example)
- human food is subclass of consumables ⇐ (human food is subclass of disposable product), (disposable product is subclass of consumables), (is subclass of is a transitive relation)
- human food is subclass of disposable product ⇐ (human food is subclass of food), (food is subclass of disposable product), (is subclass of is a transitive relation)
- human food has quality form of energy ⇐ (chemical energy is a form of energy), (human food has quality chemical energy)
- human food has quality potential energy ⇐ (chemical energy is subclass of potential energy), (human food has quality chemical energy)
- human food has quality chemical energy ⇐ (food energy is subclass of chemical energy), (human food has quality food energy)
- human food has quality food energy ⇐ (human food is subclass of food), (food has quality food energy)