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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConstitutionalMonarchy
ConstitutionalMonarchy(constitutional monarchy)
parliamentary_monarchy

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 5930-5930
No TPTP formula. May not be expressible in strict first order. Government.kif 157-157 Constitutional monarchy is an instance of form of government
No TPTP formula. May not be expressible in strict first order. Government.kif 317-317 Constitutional monarchy is a subattribute of constitutional government
No TPTP formula. May not be expressible in strict first order. Government.kif 239-239 Constitutional monarchy is a subattribute of monarchy

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16752-16752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16751-16751
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16750-16750


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