| ObjectiveNorm(objective norm) | | abatable_nuisance, attractive_nuisance, ethic, just, mixed_nuisance, moral_principle, private_nuisance, value-system, value_orientation |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3882-3883 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16224-16226 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16223-16223 | Objective norm is a subclass of normative attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16166-16166 | Subjective assessment attribute is disjoint from objective norm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24181-24181 | Wheelchair accessible is an instance of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16247-16247 | Alethic attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16228-16228 | Contest attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16310-16310 | Deontic attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2257-2257 | Device attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16362-16362 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1243-1243 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1712-1712 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3863-3863 | The number 3 argument of confers norm is an instance of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3885-3885 | The number 3 argument of deprives norm is an instance of objective norm |
|
|
|