| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1391-1391 | Motion picture est une sous-classe de Recording |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1392-1392 | Motion picture est une sous-classe de texte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14547-14547 | MotionPictureShot est une sous-classe de motion picture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14572-14572 | MotionPictureScene est une sous-classe de motion picture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14583-14583 | Documentary est une sous-classe de motion picture |
|
|