| (subclass CommercialShipping Shipping) | Mid-level-ontology.kif 7727-7727 | CommercialShipping は Shipping の subclass では %n |
| (subclass CommercialShipping CommercialService) | Mid-level-ontology.kif 7728-7728 | CommercialShipping は CommercialService の subclass では %n |
|
|