BFO class

Deductions

• biochemistry has quality BFO class ⇐ (biochemistry is a interdisciplinary science), (interdisciplinary science has quality BFO class)
• interdisciplinary science has quality BFO class ⇐ (interdisciplinary science is a branch of science), (branch of science has quality BFO class)
• physical sciences has quality BFO class ⇐ (physical sciences is a system), (system has quality BFO class)
• BFO class has quality superclass ⇐ (BFO class has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
• brother has quality BFO class ⇐ (brother has quality reformism), (reformism has quality BFO class), (has quality is a transitive relation)
• sister has quality BFO class ⇐ (sister has quality gender), (gender has quality BFO class), (has quality is a transitive relation)
• mother has quality BFO class ⇐ (mother has quality gender), (gender has quality BFO class), (has quality is a transitive relation)
• father has quality BFO class ⇐ (father has quality gender), (gender has quality BFO class), (has quality is a transitive relation)
• liberalism has quality BFO class ⇐ (liberalism is a political philosophy), (political philosophy has quality BFO class)
• antiliberalism has quality BFO class ⇐ (antiliberalism is a political philosophy), (political philosophy has quality BFO class)
• gendered has quality BFO class ⇐ (gendered is subclass of non-binary), (non-binary has quality BFO class)
• non-binary has quality BFO class ⇐ (non-binary is subclass of gender), (gender has quality BFO class)
• androgyne has quality BFO class ⇐ (androgyne is subclass of gender), (gender has quality BFO class)
• political philosophy has quality BFO class ⇐ (political philosophy is subclass of philosophy), (philosophy has quality BFO class)
• gender-critical feminism has quality BFO class ⇐ (gender-critical feminism is a reformism), (reformism has quality BFO class)
• physics has quality BFO class ⇐ (physics is a branch of science), (branch of science has quality BFO class)
• feminism has quality BFO class ⇐ (feminism is a reformism), (reformism has quality BFO class)
• antifeminism has quality BFO class ⇐ (antifeminism is a reformism), (reformism has quality BFO class)
• gender has quality BFO class ⇐ (gender is a reformism), (reformism has quality BFO class)
• physical system has quality BFO class ⇐ (physical system is subclass of system), (system has quality BFO class)
• adhesion has quality BFO class ⇐ (adhesion is subclass of action), (action has quality BFO class)
• educational system has quality BFO class ⇐ (educational system is subclass of system), (system has quality BFO class)
• reformism has quality BFO class ⇐ (reformism is subclass of social movement), (social movement has quality BFO class)
• social philosophy has quality BFO class ⇐ (social philosophy is subclass of philosophy), (philosophy has quality BFO class)
• BFO class has quality class ⇐ (quality is a class), (BFO class has quality quality)
• BFO class has quality superclass ⇐ (BFO class has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
• BFO class has quality taxonomic rank ⇐ (BFO class has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
• BFO class has quality abstract entity ⇐ (type is a abstract entity), (BFO class has quality type)
• abstract entity is for example BFO class ⇐ (BFO class is a abstract entity), (is a is inverse of is for example)
• social sciences and humanities has quality BFO class ⇐ (social sciences and humanities is a system), (system has quality BFO class)
• sociology of occupation has quality BFO class ⇐ (sociology of occupation is a system), (system has quality BFO class)
• electrical engineering has quality BFO class ⇐ (electrical engineering is a system), (system has quality BFO class)
• optics has quality BFO class ⇐ (optics is a system), (system has quality BFO class)
• national economy has quality BFO class ⇐ (national economy is a system), (system has quality BFO class)
• life sciences has quality BFO class ⇐ (life sciences is a system), (system has quality BFO class)
• systematics has quality BFO class ⇐ (systematics is a system), (system has quality BFO class)
• BFO class has quality existence ⇐ (BFO class has quality entity), (entity has quality existence), (has quality is a transitive relation)
• BFO class is a abstract entity ⇐ (metaclass is subclass of abstract entity), (BFO class is a metaclass)
• BFO class has quality entity ⇐ (type is a entity), (BFO class has quality type)
• social action has quality BFO class ⇐ (social action is subclass of action), (action has quality BFO class)
• branch of science has quality BFO class ⇐ (branch of science is subclass of system), (system has quality BFO class)
• entity is for example BFO class ⇐ (BFO class is a entity), (is a is inverse of is for example)
• cardiology has quality BFO class ⇐ (cardiology is a system), (system has quality BFO class)
• pulmonology has quality BFO class ⇐ (pulmonology is a system), (system has quality BFO class)
• audiology has quality BFO class ⇐ (audiology is a system), (system has quality BFO class)
• BFO class is a entity ⇐ (metaclass is subclass of entity), (BFO class is a metaclass)
• BFO class has quality type ⇐ (criterion is a type), (BFO class has quality criterion)
• branch of pseudoscience has quality BFO class ⇐ (branch of pseudoscience is subclass of system), (system has quality BFO class)
• formal system has quality BFO class ⇐ (formal system is subclass of system), (system has quality BFO class)
• philosophy has quality BFO class ⇐ (philosophy is subclass of system), (system has quality BFO class)
• social movement has quality BFO class ⇐ (social movement is subclass of action), (action has quality BFO class)
• non-science has quality BFO class ⇐ (non-science is subclass of system), (system has quality BFO class)
• classical logic has quality BFO class ⇐ (classical logic is subclass of system), (system has quality BFO class)
• color scheme has quality BFO class ⇐ (color scheme is subclass of absorbed or reflected object light), (absorbed or reflected object light has quality BFO class)
• BFO class is for example independent continuant ⇐ (independent continuant is a BFO class), (is a is inverse of is for example)
• BFO class is for example occurrent ⇐ (occurrent is a BFO class), (is a is inverse of is for example)
• metaclass is for example BFO class ⇐ (BFO class is a metaclass), (is a is inverse of is for example)
• BFO class is for example realizable entity ⇐ (realizable entity is a BFO class), (is a is inverse of is for example)
• BFO class is for example specifically dependent continuant ⇐ (specifically dependent continuant is a BFO class), (is a is inverse of is for example)
• BFO class is for example immaterial entity ⇐ (immaterial entity is a BFO class), (is a is inverse of is for example)
• BFO class is for example role ⇐ (role is a BFO class), (is a is inverse of is for example)
• BFO class is for example continuant ⇐ (continuant is a BFO class), (is a is inverse of is for example)
• BFO class is for example material entity ⇐ (material entity is a BFO class), (is a is inverse of is for example)
• component has quality BFO class ⇐ (realizable entity is a BFO class), (component has quality realizable entity)
• orange has quality BFO class ⇐ (occurrent is a BFO class), (orange has quality occurrent)
• battle has quality BFO class ⇐ (occurrent is a BFO class), (battle has quality occurrent)
• combat has quality BFO class ⇐ (occurrent is a BFO class), (combat has quality occurrent)
• system has quality BFO class ⇐ (occurrent is a BFO class), (system has quality occurrent)
• brown has quality BFO class ⇐ (occurrent is a BFO class), (brown has quality occurrent)
• heterogeneous relation has quality BFO class ⇐ (occurrent is a BFO class), (heterogeneous relation has quality occurrent)
• absorbed or reflected object light has quality BFO class ⇐ (occurrent is a BFO class), (absorbed or reflected object light has quality occurrent)
• red has quality BFO class ⇐ (occurrent is a BFO class), (red has quality occurrent)
• environment has quality BFO class ⇐ (occurrent is a BFO class), (environment has quality occurrent)
• light has quality BFO class ⇐ (occurrent is a BFO class), (light has quality occurrent)
• whole has quality BFO class ⇐ (occurrent is a BFO class), (whole has quality occurrent)
• transposition has quality BFO class ⇐ (independent continuant is a BFO class), (transposition has quality independent continuant)
• action has quality BFO class ⇐ (independent continuant is a BFO class), (action has quality independent continuant)
• negation has quality BFO class ⇐ (independent continuant is a BFO class), (negation has quality independent continuant)
• BFO class has quality property ⇐ (quality is subclass of property), (BFO class has quality quality)
• BFO class has quality quality ⇐ (criterion is subclass of quality), (BFO class has quality criterion)
• BFO class has quality criterion ⇐ (BFO class is subclass of class), (class has quality criterion)