|
|
  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 | Netflix 的 headquarters 是在 加州 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4543-4543 | Netflix 是 法人财团 的 instance |
| 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 | 有存在 过程 和 实体 这样 那个 过程 是 传播 的 instance 和 Netflix 是 那个 过程 的 agent 和 那个 实体 是 那个 过程 的 patient 和 那个 实体 是 动态映像 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4566-4569 | 有存在 过程 这样 那个 过程 是 电影制作 的 instance 和 Netflix 是 那个 过程 的 agent |
|
|
|