EconomicRelation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EconomicRelation BinaryRelation)	Mid-level-ontology.kif 18518-18518	Economic relation is a subclass of binary relation
(documentation EconomicRelation EnglishLanguage "A class of Relations which are used to specify various economic measures, e.g. the GDP, the consumer price index, and the trade deficit.")	Mid-level-ontology.kif 18519-18521	Economic relation is a subclass of binary relation

appearance as argument number 2

(termFormat EnglishLanguage EconomicRelation "economic relation")	domainEnglishFormat.kif 21180-21180
(termFormat ChineseTraditionalLanguage EconomicRelation "經濟關係")	domainEnglishFormat.kif 21181-21181
(termFormat ChineseLanguage EconomicRelation "经济关系")	domainEnglishFormat.kif 21182-21182

antecedent

(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))

If X is an instance of economic relation and the number 1 argument of X is an instance of Y, then Y is a subclass of geopolitical area