Deductions
- educational system has quality social interaction ⇐ (educational system is subclass of social system), (social system has quality social interaction)
 
- educational system has quality type of interaction ⇐ (educational system is subclass of social system), (social system has quality type of interaction)
 
- educational system has quality taxonomic rank ⇐ (educational system is subclass of social system), (social system has quality taxonomic rank)
 
- educational system has quality superclass ⇐ (educational system is subclass of social system), (social system has quality superclass)
 
- educational system has quality philosophical concept ⇐ (educational system is subclass of system), (system has quality philosophical concept)
 
- educational system has quality interaction ⇐ (educational system is subclass of system), (system has quality interaction)
 
- educational system has quality class ⇐ (educational system is subclass of system), (system has quality class)
 
- educational system has quality type ⇐ (educational system is subclass of system), (system has quality type)
 
- educational system has quality entity ⇐ (educational system is subclass of system), (system has quality entity)
 
- educational system has quality existence ⇐ (educational system is subclass of system), (system has quality existence)
 
- educational system has quality occurrence ⇐ (educational system is subclass of system), (system has quality occurrence)
 
- educational system has quality quality ⇐ (educational system is subclass of system), (system has quality quality)
 
- educational system has quality criterion ⇐ (educational system is subclass of system), (system has quality criterion)
 
- educational system has quality action ⇐ (educational system is subclass of system), (system has quality action)
 
- educational system has quality type of object ⇐ (educational system is subclass of system), (system has quality type of object)
 
- educational system has quality type of property ⇐ (educational system is subclass of system), (system has quality type of property)
 
- educational system has quality metaclass ⇐ (educational system is subclass of system), (system has quality metaclass)
 
- educational system has quality effect ⇐ (educational system is subclass of system), (system has quality effect)
 
- educational system has quality BFO class ⇐ (educational system is subclass of system), (system has quality BFO class)
 
- educational system has quality occurrent ⇐ (educational system is subclass of system), (system has quality occurrent)
 
- educational system has quality property ⇐ (educational system is subclass of system), (system has quality property)
 
- educational system has quality abstract entity ⇐ (educational system is subclass of system), (system has quality abstract entity)
 
- industry is for example educational system ⇐ (educational system is a industry), (is a is inverse of is for example)
 
- educational system is subclass of system ⇐ (educational system is subclass of social system), (social system is subclass of system), (is subclass of is a transitive relation)
 
- academic library is part of educational system ⇐ (academic library is part of higher education), (higher education is part of educational system), (is part of is a transitive relation)