| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1391-1391 | Filme e' uma sub-classe de Recording |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1392-1392 | Filme e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14546-14546 | MotionPictureShot e' uma sub-classe de Filme |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14571-14571 | MotionPictureScene e' uma sub-classe de Filme |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14582-14582 | Documentary e' uma sub-classe de Filme |
|
|