No TPTP formula. May not be expressible in strict first order. | Merge.kif 17402-17402 | 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 17407-17407 | Contest attribute is a subclass of objective norm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17426-17426 | Alethic attribute is a subclass of objective norm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17489-17489 | Deontic attribute is a subclass of objective norm |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17541-17541 | Probability attribute is a subclass of objective norm |