No TPTP formula. May not be expressible in strict first order. | Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 51-62 |
|
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 846-846 | Objet est une sous-classe de physique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1304-1304 | ContentBearingPhysical est une sous-classe de physique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1622-1622 | Processus est une sous-classe de physique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6121-6121 | PhysicalSystem est une sous-classe de physique |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 41-41 | FinancialAsset est une sous-classe de physique |