Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EconomicRelation
EconomicRelation(economic relation)

appearance as argument number 1
-------------------------


(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 17119-17121
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 17118-17118 Economic relation is a subclass of binary relation

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage EconomicRelation "经济关系") domainEnglishFormat.kif 21196-21196
(termFormat ChineseTraditionalLanguage EconomicRelation "經濟關係") domainEnglishFormat.kif 21195-21195
(termFormat EnglishLanguage EconomicRelation "economic relation") domainEnglishFormat.kif 21194-21194

antecedent
-------------------------


(=>
    (and
        (instance ?REL EconomicRelation)
        (domain ?REL 1 ?CLASS))
    (subclass ?CLASS GeopoliticalArea))
Mid-level-ontology.kif 17123-17127


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners