No TPTP formula. May not be expressible in strict first order. |
Media.kif 3186-3189 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3183-3183 |
域 originalTitle, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3185-3185 |
域 originalTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3184-3184 |
域子類 originalTitle, 2 and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3182-3182 |
例 originalTitle and TernaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3190-3190 |
子關係 originalTitle and titleInLanguage |