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. |
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. |
Merge.kif 15668-15668 |
Financial instrument 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. |
Mid-level-ontology.kif 16523-16523 |
License 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 |
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. |
Merge.kif 15681-15681 |
Patent 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 16536-16536 |
Ticket 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. |
Transportation.kif 3101-3101 |
Vehicle registration is a subclass of certificate |
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 |