| (subclass ObjectiveNorm NormativeAttribute) | Merge.kif 17380-17380 | Objective norm is a subclass of normative attribute |
| (subclass DeviceAttribute ObjectiveNorm) | Mid-level-ontology.kif 1827-1827 | Device attribute is a subclass of objective norm |
| (subclass ContestAttribute ObjectiveNorm) | Merge.kif 17385-17385 | Contest attribute is a subclass of objective norm |
| (subclass AlethicAttribute ObjectiveNorm) | Merge.kif 17404-17404 | Alethic attribute is a subclass of objective norm |
| (subclass DeonticAttribute ObjectiveNorm) | Merge.kif 17467-17467 | Deontic attribute is a subclass of objective norm |
| (subclass ProbabilityAttribute ObjectiveNorm) | Merge.kif 17519-17519 | Probability attribute is a subclass of objective norm |
|
|