|
|
  ProPublica
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4573-4585 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4586-4586 | ProPublica 的 headquarters 是在 纽约市美国 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4571-4571 | ProPublica 是 法人财团 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4588-4588 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4587-4587 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4590-4593 | 有存在 有认知的主事 这样 NewReporter 是 那个 有认知的主事 的 attribute 和 ProPublica employs 那个 有认知的主事 |
|
|
|