PalletizedCargoShip
|
|
appearance as argument number 1 |
(instance IndependenceHealthGroup HealthInsuranceCompany) | Medicine.kif 5588-5588 | IndependenceHealthGroup 是 HealthInsuranceCompany 的 instance |
appearance as argument number 2 |
(termFormat EnglishLanguage IndependenceHealthGroup "Independence Health Group") | Medicine.kif 5589-5589 |