No TPTP formula. May not be expressible in strict first order. | Merge.kif 1391-1391 | 子類 MotionPicture and Recording |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1392-1392 | 子類 MotionPicture and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14546-14546 | 子類 電影拍攝 and MotionPicture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14571-14571 | 子類 電影場景 and MotionPicture |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14582-14582 | 子類 記錄 and MotionPicture |