(subclass LegalAgent RelationalAttribute) | Merge.kif 1586-1586 | LegalAgent は 関係属性 の subclass では %n |
(subclass HumanAdult LegalAgent) | Mid-level-ontology.kif 188-188 | HumanAdult は LegalAgent の subclass では %n |
(subclass Corporation LegalAgent) | Merge.kif 16190-16190 | 法人 は LegalAgent の subclass では %n |
(subclass Government LegalAgent) | Merge.kif 16706-16706 | 政府 は LegalAgent の subclass では %n |