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 |
human name is a subrelation of agent name |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3475-3475 |
organization name is a subrelation of agent name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65773-65773 |
|