Deductions
- non-combatant has quality condition type ⇐ (mental state is a condition type), (non-combatant has quality mental state)
- non-combatant has quality abstract entity ⇐ (type is a abstract entity), (non-combatant has quality type)
- non-combatant has quality entity ⇐ (taxonomic rank is a entity), (non-combatant has quality taxonomic rank)
- non-combatant has quality class ⇐ (type of property is subclass of class), (non-combatant has quality type of property)
- non-combatant has quality object ⇐ (mental state is subclass of object), (non-combatant has quality mental state)
- non-combatant has quality occurrent ⇐ (mental state is subclass of occurrent), (non-combatant has quality mental state)
- non-combatant has quality mental state ⇐ (non-combatant is subclass of person), (person has quality mental state)
- realizable entity is for example non-combatant ⇐ (non-combatant is a realizable entity), (is a is inverse of is for example)
- continuant is for example non-combatant ⇐ (non-combatant is a continuant), (is a is inverse of is for example)
- specifically dependent continuant is for example non-combatant ⇐ (non-combatant is a specifically dependent continuant), (is a is inverse of is for example)
- entity is for example non-combatant ⇐ (non-combatant is a entity), (is a is inverse of is for example)
- non-combatant is subclass of person ⇐ (combatant is subclass of person), (combatant is opposite of non-combatant)
- non-combatant has quality existence ⇐ (non-combatant is a entity), (entity has quality existence)
- non-combatant has quality relative quality ⇐ (non-combatant is a role), (role has quality relative quality)
- non-combatant has quality class ⇐ (non-combatant is a role), (role has quality class)
- non-combatant has quality type ⇐ (non-combatant is a role), (role has quality type)
- non-combatant has quality superclass ⇐ (non-combatant is a role), (role has quality superclass)
- non-combatant has quality property ⇐ (non-combatant is a role), (role has quality property)
- non-combatant has quality criterion ⇐ (non-combatant is a role), (role has quality criterion)
- non-combatant has quality quality ⇐ (non-combatant is a role), (role has quality quality)
- non-combatant has quality taxonomic rank ⇐ (non-combatant is a role), (role has quality taxonomic rank)
- non-combatant has quality type of property ⇐ (non-combatant is a role), (role has quality type of property)
- non-combatant is a specifically dependent continuant ⇐ (occupation is subclass of specifically dependent continuant), (non-combatant is a occupation)
- non-combatant is a role ⇐ (occupation is subclass of role), (non-combatant is a occupation)
- non-combatant is a realizable entity ⇐ (occupation is subclass of realizable entity), (non-combatant is a occupation)
- non-combatant is a entity ⇐ (role is subclass of entity), (non-combatant is a role)
- non-combatant is a continuant ⇐ (role is subclass of continuant), (non-combatant is a role)
- role is for example non-combatant ⇐ (non-combatant is a role), (is a is inverse of is for example)
- occupation is for example non-combatant ⇐ (non-combatant is a occupation), (is a is inverse of is for example)
- non-combatant is a occupation ⇐ (combatant is a occupation), (combatant is opposite of non-combatant)