|
|
  AnthemInc
|
|
|
| appearance as argument number 1 |
|
|
| (instance AnthemInc HealthInsuranceCompany) | Medicine.kif 5567-5567 | AnthemInc 是 HealthInsuranceCompany 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AnthemInc "Anthem Inc") | Medicine.kif 5568-5568 |
|
|
|