| 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 14547-14547 | 子類 電影拍攝 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14572-14572 | 子類 電影場景 and MotionPicture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14583-14583 | 子類 記錄 and MotionPicture |
|
|