| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1391-1391 | 动态映像 是 Recording 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1392-1392 | 动态映像 是 文本 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14547-14547 | 电影拍摄 是 动态映像 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14572-14572 | 电影场景 是 动态映像 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14583-14583 | 记录 是 动态映像 的 subclass |
|
|