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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PoliticoEconomicAttribute
PoliticoEconomicAttribute

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


(documentation PoliticoEconomicAttribute EnglishLanguage "Any Attribute of a Government which specifies some aspect of the political or economic system of the Government.") Mid-level-ontology.kif 21109-21111
(partition PoliticoEconomicAttribute FormOfGovernment EconomicAttribute) Mid-level-ontology.kif 21108-21108 PoliticoEconomicAttribute est compl�tement d�compos� en FormOfGovernment + EconomicAttribute
(subclass PoliticoEconomicAttribute RelationalAttribute) Mid-level-ontology.kif 21107-21107 PoliticoEconomicAttribute est une sous-classe de attribut relationnel

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


(subclass EconomicAttribute PoliticoEconomicAttribute) Mid-level-ontology.kif 21119-21119 EconomicAttribute est une sous-classe de PoliticoEconomicAttribute
(subclass FormOfGovernment PoliticoEconomicAttribute) Mid-level-ontology.kif 21125-21125 FormOfGovernment est une sous-classe de PoliticoEconomicAttribute
(termFormat ChineseLanguage PoliticoEconomicAttribute "政治经济属性") domainEnglishFormat.kif 46539-46539 FormOfGovernment est une sous-classe de PoliticoEconomicAttribute
(termFormat ChineseTraditionalLanguage PoliticoEconomicAttribute "政治經濟屬性") domainEnglishFormat.kif 46538-46538 FormOfGovernment est une sous-classe de PoliticoEconomicAttribute
(termFormat EnglishLanguage PoliticoEconomicAttribute "politico economic attribute") domainEnglishFormat.kif 46537-46537 FormOfGovernment est une sous-classe de PoliticoEconomicAttribute

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


(=>
    (and
        (instance ?ATTRIBUTE PoliticoEconomicAttribute)
        (attribute ?GOVERNMENT ?ATTRIBUTE))
    (instance ?GOVERNMENT Government))
Mid-level-ontology.kif 21113-21117


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