| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15655-15655 | Certificat est une sous-classe de texte |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3101-3101 | VehicleRegistration est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16509-16509 | AcademicDegree est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16523-16523 | License est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16536-16536 | Ticket est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16576-16576 | PassCertificate est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16590-16590 | Testament est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16895-16895 | InsurancePolicy est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15668-15668 | FinancialInstrument est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15681-15681 | Brevet est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3103-3103 | VaccinationCard est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 236-236 | BirthCertificate est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 266-266 | DeathCertificate est une sous-classe de certificat |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 298-298 | MarriageCertificate est une sous-classe de certificat |
|
|