No TPTP formula. May not be expressible in strict first order. | Merge.kif 17380-17380 | Objective norm is a subclass of normative attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1827-1827 | Device attribute is a subclass of objective norm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17385-17385 | Contest attribute is a subclass of objective norm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17404-17404 | Alethic attribute is a subclass of objective norm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17467-17467 | Deontic attribute is a subclass of objective norm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17519-17519 | Probability attribute is a subclass of objective norm |