No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 396-396 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 394-394 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3780-3780 |
引起 和 导致子类 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13512-13512 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13511-13511 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13510-13510 |
|