No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3274-3274 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3273-3273 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3272-3272 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3145-3145 |
abbreviated display title is a subrelation of display title |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65814-65814 |
|