(subclass CommercialService FinancialTransaction) | Merge.kif 11872-11872 | CommercialService は 金融取引 の subclass では %n |
(subclass CommercialService ServiceProcess) | Merge.kif 11875-11875 | CommercialService は ServiceProcess の subclass では %n |
(subclass FinancialService CommercialService) | Mid-level-ontology.kif 7188-7188 | FinancialService は CommercialService の subclass では %n |
(subclass CommercialShipping CommercialService) | Mid-level-ontology.kif 7701-7701 | CommercialShipping は CommercialService の subclass では %n |