No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2730-2730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2729-2729 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2728-2728 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 630-630 |
子關係 成人禮 and 截止日期 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22822-22822 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22821-22821 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22820-22820 |
|