No TPTP formula. May not be expressible in strict first order. | Merge.kif 828-830 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 832-832 | Physique est une sous-classe de entit� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | Abstrait est une sous-classe de entit� |