No TPTP formula. May not be expressible in strict first order. | Merge.kif 1386-1386 | 子類 Recording and ContentBearingObject |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13296-13296 | 子類 照片 and Recording |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14294-14294 | 子類 錄音 and Recording |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14428-14428 | 子類 視頻錄製 and Recording |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1391-1391 | 子類 MotionPicture and Recording |