The Isa Rule
Always check generalizations to ensure they obey the isa rule
- “A checking account is an account”
- “A village is a municipality”
-
Should ‘Province’ be a subclass of ‘Country’?
- No, it violates the isa rule
- “A province is a country” is invalid!