| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | Abstrait est une sous-classe de entit� |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1942-1942 | ProcessTask est une sous-classe de abstrait |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1694-1694 | Quantit� est une sous-classe de abstrait |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | Attribut est une sous-classe de abstrait |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | Ensemble ou classe est une sous-classe de abstrait |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | Relation est une sous-classe de abstrait |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2875 | Liste est une sous-classe de abstrait |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3555-3555 | Proposition est une sous-classe de abstrait |
|
|