Example image of eyePlorer eyePlorer map for 'Type-token distinction': Abstraction Concept Instantiation Knowledge representation Object (philosophy) Philosophy Token Type (metaphysics) Formal language Logic Symbol (formal) Ontology Physical body Stanford Encyclopedia of Philosophy English words of Greek origin Proposition Mental representation Representational theory of mind Well-formed formula Type physicalism Abstract object Syntax (logic) Class (philosophy) Is-a Particular Object language Type Truthbearer Money Cognitive semantics