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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EconomicRelation
EconomicRelation

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 14456-14458
(subclass EconomicRelation BinaryRelation) Mid-level-ontology.kif 14455-14455 subclass EconomicRelation and BinaryRelation

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


(termFormat ChineseLanguage EconomicRelation "经济关系") domainEnglishFormat.kif 21109-21109 termFormat ChineseLanguage, EconomicRelation and "经济关系"
(termFormat ChineseTraditionalLanguage EconomicRelation "經濟關係") domainEnglishFormat.kif 21108-21108 termFormat ChineseTraditionalLanguage, EconomicRelation and "經濟關係"
(termFormat EnglishLanguage EconomicRelation "economic relation") domainEnglishFormat.kif 21107-21107 termFormat EnglishLanguage, EconomicRelation and "economic relation"

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners