Deductions
- casualty has quality abstract entity ⇐ (type is a abstract entity), (casualty has quality type)
- casualty has quality entity ⇐ (taxonomic rank is a entity), (casualty has quality taxonomic rank)
- casualty has quality class ⇐ (type of property is subclass of class), (casualty has quality type of property)
- casualty has quality class ⇐ (type of property is a class), (casualty has quality type of property)
- casualty has quality existence ⇐ (casualty is subclass of occurrence), (occurrence has quality existence)
- casualty has quality spatio-temporal entity ⇐ (casualty is subclass of occurrence), (occurrence has quality spatio-temporal entity)
- casualty has quality type of object ⇐ (casualty is subclass of occurrence), (occurrence has quality type of object)
- casualty has quality temporal entity ⇐ (casualty is subclass of occurrence), (occurrence has quality temporal entity)
- casualty has quality quality ⇐ (casualty is subclass of occurrence), (occurrence has quality quality)
- casualty has quality object ⇐ (casualty is subclass of occurrence), (occurrence has quality object)
- casualty has quality point in time ⇐ (casualty is subclass of occurrence), (occurrence has quality point in time)
- casualty has quality type of property ⇐ (casualty is subclass of occurrence), (occurrence has quality type of property)
- casualty has quality taxonomic rank ⇐ (casualty is subclass of occurrence), (occurrence has quality taxonomic rank)
- casualty has quality impermanence ⇐ (casualty is subclass of occurrence), (occurrence has quality impermanence)
- casualty has quality type ⇐ (casualty is subclass of occurrence), (occurrence has quality type)
- casualty has quality superclass ⇐ (casualty is subclass of occurrence), (occurrence has quality superclass)
- casualty is subclass of occurrence ⇐ (casualty is subclass of effect), (effect is subclass of occurrence), (is subclass of is a transitive relation)
- casualty is subclass of effect ⇐ (casualty is subclass of effects of war), (effects of war is subclass of effect), (is subclass of is a transitive relation)