|
|
  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 and Corporation |
| 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 | CognitiveAgent attribute CognitiveAgent and NewReporter 採用 ProPublica and CognitiveAgent |
|
|
|