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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliticoEconomicAttribute

 Sigma KEE - PoliticoEconomicAttribute
PoliticoEconomicAttribute(politico economic attribute)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19537-19539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19536-19536 Politico economic attribute is exhaustively partitioned into form of government and economic attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19535-19535 Politico economic attribute is a subclass of relational attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19547-19547 Economic attribute is a subclass of politico economic attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19553-19553 Form of government is a subclass of politico economic attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46537-46537
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46536-46536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46535-46535

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19541-19545


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

Show without tree


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