| (subclass ObjectiveNorm NormativeAttribute) | Merge.kif 17402-17402 | NormaOggettiva è una sottoclasse di AttributoNormativo |
| (subclass DeviceAttribute ObjectiveNorm) | Mid-level-ontology.kif 1827-1827 | DeviceAttribute è una sottoclasse di NormaOggettiva |
| (subclass ContestAttribute ObjectiveNorm) | Merge.kif 17407-17407 | AttributoDiCompetizione è una sottoclasse di NormaOggettiva |
| (subclass AlethicAttribute ObjectiveNorm) | Merge.kif 17426-17426 | AttributoAletico è una sottoclasse di NormaOggettiva |
| (subclass DeonticAttribute ObjectiveNorm) | Merge.kif 17489-17489 | AttributoDeontico è una sottoclasse di NormaOggettiva |
| (subclass ProbabilityAttribute ObjectiveNorm) | Merge.kif 17541-17541 | ProbabilityAttribute è una sottoclasse di NormaOggettiva |
|
|