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 |