Deductions
- system software is for example Replicant ⇐ (Replicant is a system software), (is a is inverse of is for example)
- Replicant is a system software ⇐ (operating system is subclass of system software), (Replicant is a operating system)
- Replicant has quality class ⇐ (quality is a class), (Replicant has quality quality)
- Replicant has quality abstract entity ⇐ (property is a abstract entity), (Replicant has quality property)
- Replicant has quality entity ⇐ (taxonomic rank is a entity), (Replicant has quality taxonomic rank)
- operating system is for example Replicant ⇐ (Replicant is a operating system), (is a is inverse of is for example)
- Replicant has quality existence ⇐ (Replicant is a operating system), (operating system has quality existence)
- Replicant has quality taxonomic rank ⇐ (Replicant is a operating system), (operating system has quality taxonomic rank)
- Replicant has quality superclass ⇐ (Replicant is a operating system), (operating system has quality superclass)
- Replicant has quality quality ⇐ (Replicant is a operating system), (operating system has quality quality)
- Replicant has quality criterion ⇐ (Replicant is a operating system), (operating system has quality criterion)
- Replicant has quality property ⇐ (Replicant is a operating system), (operating system has quality property)
- Replicant is a operating system ⇐ (mobile operating system is subclass of operating system), (Replicant is a mobile operating system)
- mobile operating system is for example Replicant ⇐ (Replicant is a mobile operating system), (is a is inverse of is for example)