Deductions
- information system has quality state ⇐ (state is subclass of state), (information system has quality state)
- information system has quality class ⇐ (existence is a class), (information system has quality existence)
- information system is for example World Wide Web ⇐ (World Wide Web is a information system), (is a is inverse of is for example)
- information system has quality existence ⇐ (information system has quality entity), (entity has quality existence), (has quality is a transitive relation)
- information system has quality entity ⇐ (taxonomic rank is a entity), (information system has quality taxonomic rank)
- abstract entity is for example information system ⇐ (information system is a abstract entity), (is a is inverse of is for example)
- type of system is for example information system ⇐ (information system is a type of system), (is a is inverse of is for example)
- class is for example information system ⇐ (information system is a class), (is a is inverse of is for example)
- information system has quality superclass ⇐ (information system is a class), (class has quality superclass)
- information system has quality taxonomic rank ⇐ (information system is a class), (class has quality taxonomic rank)
- information system is a class ⇐ (type of system is subclass of class), (information system is a type of system)
- information system is a abstract entity ⇐ (type of system is subclass of abstract entity), (information system is a type of system)
- information system is for example Semantic Web ⇐ (Semantic Web is a information system), (is a is inverse of is for example)