| 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 17556-17558 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17555-17555 | 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 17498-17498 | Subjective assessment attribute is disjoint from objective norm |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3014-3014 | Not safe for work is an instance of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28047-28047 | Wheelchair accessible is an instance of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17579-17579 | Alethic attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17560-17560 | Contest attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17642-17642 | Deontic attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2290-2290 | Device attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17694-17694 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1243-1243 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1707-1707 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 921-921 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 455-455 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 458-458 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2605-2605 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 873-873 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 494-494 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 753-753 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 942-942 | Probability attribute is a subclass of objective norm |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 459-459 | Probability attribute is a subclass of objective norm |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4010-4010 | 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 4032-4032 | The number 3 argument of deprives norm is an instance of objective norm |
|
|
|