Deductions
- artificial physical object has quality entity ⇐ (physical property is subclass of entity), (artificial physical object has quality physical property)
- artificial physical object has quality class ⇐ (abstract entity is a class), (artificial physical object has quality abstract entity)
- artificial physical object has quality abstract entity ⇐ (type is a abstract entity), (artificial physical object has quality type)
- conceptual model is subclass of artificial physical object ⇐ (physical model is subclass of artificial physical object), (physical model is opposite of conceptual model)
- artificial physical object has quality existence ⇐ (artificial physical object has quality entity), (entity has quality existence), (has quality is a transitive relation)
- artificial physical object has quality entity ⇐ (taxonomic rank is a entity), (artificial physical object has quality taxonomic rank)
- artificial physical object has quality class ⇐ (type of property is a class), (artificial physical object has quality type of property)
- type of object is for example artificial physical object ⇐ (artificial physical object is a type of object), (is a is inverse of is for example)
- type is for example artificial physical object ⇐ (artificial physical object is a type), (is a is inverse of is for example)
- artificial physical object has quality type ⇐ (artificial physical object has quality property), (property has quality type), (has quality is a transitive relation)
- artificial physical object has quality superclass ⇐ (artificial physical object has quality property), (property has quality superclass), (has quality is a transitive relation)
- artificial physical object has quality type of property ⇐ (artificial physical object has quality property), (property has quality type of property), (has quality is a transitive relation)
- artificial physical object has quality taxonomic rank ⇐ (artificial physical object has quality property), (property has quality taxonomic rank), (has quality is a transitive relation)
- artificial physical object is subclass of independent continuant ⇐ (artificial physical object is subclass of material entity), (material entity is subclass of independent continuant), (is subclass of is a transitive relation)
- artificial physical object is subclass of material entity ⇐ (artificial physical object is subclass of physical object), (physical object is subclass of material entity), (is subclass of is a transitive relation)
- artificial physical object is a type ⇐ (type of object is subclass of type), (artificial physical object is a type of object)
- artificial physical object has quality physical property ⇐ (physical location is a physical property), (artificial physical object has quality physical location)
- artificial physical object has quality property ⇐ (physical location is subclass of property), (artificial physical object has quality physical location)
- artificial physical object has quality physical location ⇐ (artificial physical object is subclass of physical object), (physical object has quality physical location)