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. |
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. |
Merge.kif 15668-15668 |
FinancialInstrument 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. |
Mid-level-ontology.kif 16523-16523 |
License 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 |
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. |
Merge.kif 15681-15681 |
Brevet 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 16536-16536 |
Ticket 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. |
Transportation.kif 3101-3101 |
VehicleRegistration est une sous-classe de certificat |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1045-1045 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1301-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 723-723 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 254-254 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 257-257 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2407-2407 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 675-675 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 259-259 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 293-293 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 744-744 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 258-258 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |