No TPTP formula. May not be expressible in strict first order. | Merge.kif 2564-2564 | Relation de probabilit� est une sous-classe de relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2565-2565 | Relation de probabilit� est une sous-classe de InheritableRelation |