No TPTP formula. May not be expressible in strict first order. | Merge.kif 15655-15655 | 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 16509-16509 | Academic degree is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16523-16523 | License is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16536-16536 | Ticket is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16576-16576 | Pass certificate is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16590-16590 | Testament is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16895-16895 | Insurance policy is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15668-15668 | Financial instrument is a subclass of certificate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15681-15681 | 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 |