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 |