No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16510-16510 |
子類 學位 and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 236-236 |
子類 出生證明 and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 266-266 |
子類 DeathCertificate and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15646-15646 |
子類 金融工具 and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16896-16896 |
子類 保險政策 and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16524-16524 |
子類 執照 and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 298-298 |
子類 MarriageCertificate and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16577-16577 |
子類 通過證書 and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15659-15659 |
子類 Patent and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16591-16591 |
子類 遺囑 and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16537-16537 |
子類 票 and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3103-3103 |
子類 VaccinationCard and Certificate |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3101-3101 |
子類 車輛登記 and 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 |