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 and titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3151-3151 |
子關係 displayTitle and titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3201-3201 |
子關係 groupingTitle and titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3222-3222 |
子關係 misspelledTitle and titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3190-3190 |
子關係 originalTitle and titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3180-3180 |
子關係 referenceTitle and titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3140-3140 |
子關係 sortingTitle and titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3258-3258 |
子關係 translatedTitle and titleInLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65957-65957 |
|