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