VideoRecording(視頻錄製) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14429-14431 | |
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 14428-14428 | 子類 視頻錄製 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 14441-14447 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14433-14439 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25876-25881 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14455-14470 | |
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 26229-26243 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26267-26275 |