(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea)) |
Mid-level-ontology.kif 16905-16909 | |
(subclass EconomicRelation BinaryRelation) | Mid-level-ontology.kif 16900-16900 | EconomicRelation は 2項関係 の subclass では %n |