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