No TPTP formula. May not be expressible in strict first order. | Merge.kif 17291-17291 | Normative attribute is a subclass of relational attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17322-17322 | Subjective assessment attribute is a subclass of normative attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17380-17380 | Objective norm is a subclass of normative attribute |