No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16537-16537 |
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 15692-15692 |
FinancialInstrument est une sous-classe de certificat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16923-16923 |
InsurancePolicy est une sous-classe de certificat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16551-16551 |
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 16604-16604 |
PassCertificate est une sous-classe de certificat |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15705-15705 |
Brevet est une sous-classe de certificat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16618-16618 |
Testament est une sous-classe de certificat |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16564-16564 |
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 3153-3153 |
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 |