No TPTP formula. May not be expressible in strict first order. | Merge.kif 17291-17291 | 子類 NormativeAttribute and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17322-17322 | 子類 SubjectiveAssessmentAttribute and NormativeAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17380-17380 | 子類 ObjectiveNorm and NormativeAttribute |