(subclass Abstract Entity) | Merge.kif 1669-1669 | 抽象的な は エンティティー の subclass では %n |
(subclass ProcessTask Abstract) | QoSontology.kif 1942-1942 | ProcessTask は 抽象的な の subclass では %n |
(subclass Quantity Abstract) | Merge.kif 1694-1694 | 量 は 抽象的な の subclass では %n |
(subclass Attribute Abstract) | Merge.kif 1700-1700 | 属性 は 抽象的な の subclass では %n |
(subclass SetOrClass Abstract) | Merge.kif 2128-2128 | 同じセットまたはクラス は 抽象的な の subclass では %n |
(subclass Relation Abstract) | Merge.kif 2159-2159 | 関係 は 抽象的な の subclass では %n |
(subclass List Abstract) | Merge.kif 2875-2875 | リスト は 抽象的な の subclass では %n |
(subclass Proposition Abstract) | Merge.kif 3555-3555 | 命題 は 抽象的な の subclass では %n |