Why did we go into so much detail with types?
Hints at: 6 Core ontological ideas.
Which of the following is a type:
Hints at: 5.1 Informal definition.
Which of the following is not a type:
Which of the following is true:
Hints at: 6 Core ontological ideas, 6.2 Subtype relation.
The type "Entity" is:
Hints at: 6.3 Entity and Absurdity.
The type "Absurdity" is:
If A is a subtype of B, then
Hints at: 6.4 Inheritance.
Is it possible for a type to inherit from more than one type?
Hints at: 6.5 Multiple inheritance.