No TPTP formula. May not be expressible in strict first order. | Merge.kif 15655-15655 | Certificado e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3101-3101 | VehicleRegistration e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16509-16509 | AcademicDegree e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16523-16523 | License e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16536-16536 | Ticket e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16576-16576 | PassCertificate e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16590-16590 | Testament e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16895-16895 | InsurancePolicy e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15668-15668 | FinancialInstrument e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15681-15681 | Patente e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3103-3103 | VaccinationCard e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 236-236 | BirthCertificate e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 266-266 | DeathCertificate e' uma sub-classe de Certificado |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 298-298 | MarriageCertificate e' uma sub-classe de Certificado |