No TPTP formula. May not be expressible in strict first order. |
Media.kif 3196-3200 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3193-3193 |
域 groupingTitle, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3195-3195 |
域 groupingTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3194-3194 |
域子類 groupingTitle, 2 and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3192-3192 |
例 groupingTitle and TernaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3201-3201 |
子關係 groupingTitle and titleInLanguage |