FilmMaking(film making)![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22288-22289 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8483-8483 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9206-9206 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9208-9208 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22287-22287 | Film making is a subclass of content development |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23706-23706 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23705-23705 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23704-23704 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22358-22367 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22334-22340 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22290-22297 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22303-22307 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22348-22356 |
|
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4551-4554 | There exists a process such that the process is an instance of film making and Netflix Corp. is an agent of the process |
![]() |
![]() |