(=> (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 | Economic relation is a subclass of binary relation |