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 3421-3421 |
humanName e' uma sub-relacao de agentName |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3457-3457 |
organizationName e' uma sub-relacao de agentName |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65775-65775 |
|