No TPTP formula. May not be expressible in strict first order. | Merge.kif 15633-15633 | Certificate is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3101-3101 | Vehicle registration is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16510-16510 | Academic degree is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16524-16524 | License is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16537-16537 | Ticket is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16577-16577 | Pass certificate is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16591-16591 | Testament is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16896-16896 | Insurance policy is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15646-15646 | Financial instrument is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15659-15659 | Patent is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3103-3103 | VaccinationCard is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 236-236 | Birth certificate is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 266-266 | DeathCertificate is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 298-298 | MarriageCertificate is a subclass of certificate |