|
|
  Netflix
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4544-4554 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4555-4555 | headquartersOfOrganization Netflix and California |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4543-4543 | Netflix est une instance de corporation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4557-4557 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4556-4556 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4559-4564 | Processus entit� processus est une instance de disseminer processus est un agent de Netflix entit� est un patient de processus entit� est une instance de motion picture |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4566-4569 | Processus processus est une instance de FilmMaking processus est un agent de Netflix |
|
|
|