Deductions
- physics is subclass of knowledge system ⇐ (physics is subclass of natural science), (natural science is subclass of knowledge system), (is subclass of is a transitive relation)
- logician has quality knowledge system ⇐ (logician is a profession), (profession has quality knowledge system)
- dramaturge has quality knowledge system ⇐ (dramaturge is a theatrical occupation), (theatrical occupation has quality knowledge system)
- knowledge system has quality entity ⇐ (taxonomic rank is a entity), (knowledge system has quality taxonomic rank)
- knowledge system is for example veterinary medicine ⇐ (veterinary medicine is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example audiology ⇐ (audiology is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example cardiology ⇐ (cardiology is a knowledge system), (is a is inverse of is for example)
- abstract entity is for example knowledge system ⇐ (knowledge system is a abstract entity), (is a is inverse of is for example)
- knowledge system is for example pulmonology ⇐ (pulmonology is a knowledge system), (is a is inverse of is for example)
- nurse has quality knowledge system ⇐ (nurse is a profession), (profession has quality knowledge system)
- pianist has quality knowledge system ⇐ (pianist is a profession), (profession has quality knowledge system)
- knowledge system has quality taxonomic rank ⇐ (knowledge system is a abstract entity), (abstract entity has quality taxonomic rank)
- knowledge system has quality superclass ⇐ (knowledge system is a abstract entity), (abstract entity has quality superclass)
- knowledge system has quality existence ⇐ (knowledge system is a abstract entity), (abstract entity has quality existence)
- veterinary medicine is a knowledge system ⇐ (medical specialty is subclass of knowledge system), (veterinary medicine is a medical specialty)
- audiology is a knowledge system ⇐ (medical specialty is subclass of knowledge system), (audiology is a medical specialty)
- cardiology is a knowledge system ⇐ (medical specialty is subclass of knowledge system), (cardiology is a medical specialty)
- pulmonology is a knowledge system ⇐ (medical specialty is subclass of knowledge system), (pulmonology is a medical specialty)
- knowledge system is a class ⇐ (type of system is subclass of class), (knowledge system is a type of system)
- knowledge system is a abstract entity ⇐ (type of system is subclass of abstract entity), (knowledge system is a type of system)
- President of South Africa has quality knowledge system ⇐ (President of South Africa is subclass of statesperson), (statesperson has quality knowledge system)
- statesperson has quality knowledge system ⇐ (statesperson is subclass of civil servant), (civil servant has quality knowledge system)
- artistic profession has quality knowledge system ⇐ (artistic profession is subclass of profession), (profession has quality knowledge system)
- musical profession has quality knowledge system ⇐ (musical profession is subclass of profession), (profession has quality knowledge system)
- health profession has quality knowledge system ⇐ (health profession is subclass of profession), (profession has quality knowledge system)
- class is for example knowledge system ⇐ (knowledge system is a class), (is a is inverse of is for example)
- type is for example knowledge system ⇐ (knowledge system is a type), (is a is inverse of is for example)
- knowledge system is for example cultural history of the military ⇐ (cultural history of the military is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example rhetoric ⇐ (rhetoric is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example physical model ⇐ (physical model is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example preference ⇐ (preference is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example ontology ⇐ (ontology is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example typology ⇐ (typology is a knowledge system), (is a is inverse of is for example)
- type of system is for example knowledge system ⇐ (knowledge system is a type of system), (is a is inverse of is for example)
- knowledge system is for example conceptual model ⇐ (conceptual model is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example social influence ⇐ (social influence is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example genealogy ⇐ (genealogy is a knowledge system), (is a is inverse of is for example)
- knowledge system is for example ontology engineering ⇐ (ontology engineering is a knowledge system), (is a is inverse of is for example)
- scientist has quality knowledge system ⇐ (scientist is a profession), (profession has quality knowledge system)
- civil servant has quality knowledge system ⇐ (civil servant is a profession), (profession has quality knowledge system)
- non-science is subclass of knowledge system ⇐ (non-science is subclass of field of study), (field of study is subclass of knowledge system), (is subclass of is a transitive relation)
- branch of pseudoscience is subclass of knowledge system ⇐ (branch of pseudoscience is subclass of field of study), (field of study is subclass of knowledge system), (is subclass of is a transitive relation)
- anthropology is subclass of knowledge system ⇐ (anthropology is subclass of science), (science is subclass of knowledge system), (is subclass of is a transitive relation)
- elementary algebra is subclass of knowledge system ⇐ (elementary algebra is subclass of area of mathematics), (area of mathematics is subclass of knowledge system), (is subclass of is a transitive relation)
- social sciences and humanities is subclass of knowledge system ⇐ (social sciences and humanities is subclass of science), (science is subclass of knowledge system), (is subclass of is a transitive relation)
- boolean algebra is subclass of knowledge system ⇐ (boolean algebra is subclass of academic discipline), (academic discipline is subclass of knowledge system), (is subclass of is a transitive relation)
- medical specialty is subclass of knowledge system ⇐ (medical specialty is subclass of branch of science), (branch of science is subclass of knowledge system), (is subclass of is a transitive relation)
- branch of philosophy is subclass of knowledge system ⇐ (branch of philosophy is subclass of academic discipline), (academic discipline is subclass of knowledge system), (is subclass of is a transitive relation)
- algebra is subclass of knowledge system ⇐ (algebra is subclass of area of mathematics), (area of mathematics is subclass of knowledge system), (is subclass of is a transitive relation)
- number theory is subclass of knowledge system ⇐ (number theory is subclass of mathematics), (mathematics is subclass of knowledge system), (is subclass of is a transitive relation)
- area of mathematics is subclass of knowledge system ⇐ (area of mathematics is subclass of academic discipline), (academic discipline is subclass of knowledge system), (is subclass of is a transitive relation)
- mathematics is subclass of knowledge system ⇐ (mathematics is subclass of natural science), (natural science is subclass of knowledge system), (is subclass of is a transitive relation)
- branch of science is subclass of knowledge system ⇐ (branch of science is subclass of field of study), (field of study is subclass of knowledge system), (is subclass of is a transitive relation)
- natural science is subclass of knowledge system ⇐ (natural science is subclass of science), (science is subclass of knowledge system), (is subclass of is a transitive relation)
- field of study is subclass of knowledge system ⇐ (field of study is subclass of field of study), (field of study is subclass of knowledge system), (is subclass of is a transitive relation)
- academic discipline is subclass of knowledge system ⇐ (academic discipline is subclass of field of study), (field of study is subclass of knowledge system), (is subclass of is a transitive relation)
- hearing science is subclass of knowledge system ⇐ (hearing science is subclass of science), (science is subclass of knowledge system), (is subclass of is a transitive relation)
- field of work is subclass of knowledge system ⇐ (field of work is subclass of field of study), (field of study is subclass of knowledge system), (is subclass of is a transitive relation)
- knowledge system is a class ⇐ (type is subclass of class), (knowledge system is a type)
- cultural history of the military is a knowledge system ⇐ (field of study is subclass of knowledge system), (cultural history of the military is a field of study)
- rhetoric is a knowledge system ⇐ (field of study is subclass of knowledge system), (rhetoric is a field of study)
- genealogy is a knowledge system ⇐ (field of study is subclass of knowledge system), (genealogy is a field of study)
- social influence is a knowledge system ⇐ (field of study is subclass of knowledge system), (social influence is a field of study)
- physical model is a knowledge system ⇐ (field of study is subclass of knowledge system), (physical model is a field of study)
- typology is a knowledge system ⇐ (field of study is subclass of knowledge system), (typology is a field of study)
- preference is a knowledge system ⇐ (field of study is subclass of knowledge system), (preference is a field of study)
- ontology is a knowledge system ⇐ (field of study is subclass of knowledge system), (ontology is a field of study)
- ontology engineering is a knowledge system ⇐ (field of study is subclass of knowledge system), (ontology engineering is a field of study)
- conceptual model is a knowledge system ⇐ (field of study is subclass of knowledge system), (conceptual model is a field of study)
- knowledge system is a type ⇐ (type of system is subclass of type), (knowledge system is a type of system)
- profession has quality knowledge system ⇐ (field of study is subclass of knowledge system), (profession has quality field of study)
- theatrical occupation has quality knowledge system ⇐ (field of study is subclass of knowledge system), (theatrical occupation has quality field of study)
- audiologist has quality knowledge system ⇐ (field of study is subclass of knowledge system), (audiologist has quality field of study)
- stage author has quality knowledge system ⇐ (field of study is subclass of knowledge system), (stage author has quality field of study)