No TPTP formula. May not be expressible in strict first order. | Merge.kif 17313-17313 | Attribut normatif est une sous-classe de attribut relationnel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17344-17344 | Attribut subjectif est une sous-classe de attribut normatif |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17402-17402 | Norme objective est une sous-classe de attribut normatif |