Deductions
- archaeology has quality class ⇐ (existence is a class), (archaeology has quality existence)
- system is for example archaeology ⇐ (archaeology is a system), (is a is inverse of is for example)
- collective entity is for example archaeology ⇐ (archaeology is a collective entity), (is a is inverse of is for example)
- entity is for example archaeology ⇐ (archaeology is a entity), (is a is inverse of is for example)
- archaeology has quality existence ⇐ (archaeology is a entity), (entity has quality existence)
- archaeology is a system ⇐ (branch of pseudoscience is subclass of system), (archaeology is a branch of pseudoscience)
- archaeology is a entity ⇐ (branch of pseudoscience is subclass of entity), (archaeology is a branch of pseudoscience)
- archaeology is a collective entity ⇐ (branch of pseudoscience is subclass of collective entity), (archaeology is a branch of pseudoscience)
- field of study is for example archaeology ⇐ (archaeology is a field of study), (is a is inverse of is for example)
- academic discipline is for example archaeology ⇐ (archaeology is a academic discipline), (is a is inverse of is for example)
- branch of pseudoscience is for example archaeology ⇐ (archaeology is a branch of pseudoscience), (is a is inverse of is for example)
- archaeology is subclass of humanities ⇐ (archaeology is subclass of study of history), (study of history is subclass of humanities), (is subclass of is a transitive relation)
- archaeology is a field of study ⇐ (academic discipline is subclass of field of study), (archaeology is a academic discipline)
- archaeology is a branch of pseudoscience ⇐ (pseudoarchaeology is a branch of pseudoscience), (pseudoarchaeology is opposite of archaeology)