No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4782-4782 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4781-4781 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4780-4780 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3129-3129 |
alternativeTitle e' uma sub-relacao de titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3151-3151 |
displayTitle e' uma sub-relacao de titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3201-3201 |
groupingTitle e' uma sub-relacao de titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3222-3222 |
misspelledTitle e' uma sub-relacao de titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3190-3190 |
originalTitle e' uma sub-relacao de titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3180-3180 |
referenceTitle e' uma sub-relacao de titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3140-3140 |
sortingTitle e' uma sub-relacao de titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3258-3258 |
translatedTitle e' uma sub-relacao de titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65957-65957 |
|