| (subclass Certificate Text) | Merge.kif 15655-15655 | |
| (subclass VehicleRegistration Certificate) | Transportation.kif 3101-3101 | |
| (subclass AcademicDegree Certificate) | Mid-level-ontology.kif 16509-16509 | |
| (subclass License Certificate) | Mid-level-ontology.kif 16523-16523 | |
| (subclass Ticket Certificate) | Mid-level-ontology.kif 16536-16536 | |
| (subclass PassCertificate Certificate) | Mid-level-ontology.kif 16576-16576 | |
| (subclass Testament Certificate) | Mid-level-ontology.kif 16590-16590 | |
| (subclass InsurancePolicy Certificate) | Mid-level-ontology.kif 16895-16895 | |
| (subclass FinancialInstrument Certificate) | Merge.kif 15668-15668 | |
| (subclass Patent Certificate) | Merge.kif 15681-15681 | |
| (subclass VaccinationCard Certificate) | Medicine.kif 3103-3103 | |
| (subclass BirthCertificate Certificate) | Biography.kif 236-236 | |
| (subclass DeathCertificate Certificate) | Biography.kif 266-266 | |
| (subclass MarriageCertificate Certificate) | Biography.kif 298-298 |
|
|