No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2718-2718 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2717-2717 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2716-2716 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3439-3439 |
humanName 是 agentName 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3475-3475 |
organizationName 是 agentName 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65773-65773 |
|