VideoRecording
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14428-14430 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8225-8225 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6960-6960 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8221-8221 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8222-8222 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8218-8218 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8220-8220 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8219-8219 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8217-8217 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8224-8224 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8223-8223 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14427-14427 | 子類 視頻錄製 and Recording |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61628-61628 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61627-61627 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61626-61626 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 229-229 | 域 musicVideo, 2 and 視頻錄製 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14440-14446 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14432-14438 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25864-25869 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14454-14469 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1387-1407 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1275-1301 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26217-26231 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26255-26263 |