Sigma KB Term Intersection

(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 16905-16909	If a relation is an instance of economic relation and the number 1 argument of the relation is an instance of a class, then the class is a subclass of geopolitical area
(subclass EconomicRelation BinaryRelation)	Mid-level-ontology.kif 16900-16900	Economic relation is a subclass of binary relation