![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ObjectiveNorm(objective norm) | abatable_nuisance, attractive_nuisance, ethic, just, mixed_nuisance, moral_principle, private_nuisance, value-system, value_orientation |
| appearance as argument number 1 |
|
|
| (subclass ObjectiveNorm NormativeAttribute) | Merge.kif 17729-17729 | Objective norm is a subclass of normative attribute |
| (documentation ObjectiveNorm EnglishLanguage "The Class of NormativeAttributes that are associated with an objective criterion for their attribution, i.e. there is broad consensus about the cases where these attributes are applicable.") | Merge.kif 17730-17732 | Objective norm is a subclass of normative attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain confersNorm 2 ObjectiveNorm) | Merge.kif 4096-4096 | The number 2 argument of confers norm is an instance of objective norm |
| (domain deprivesNorm 2 ObjectiveNorm) | Merge.kif 4118-4118 | The number 2 argument of deprives norm is an instance of objective norm |