TreeView Knowledge Base Browser - Republic

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Republic

Republic

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 287-289
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6817-6817
No TPTP formula. May not be expressible in strict first order.	Government.kif 159-159	Republic e' uma instancia de FormOfGovernment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 248-248	Monarchy e' &o oposto de Republic
No TPTP formula. May not be expressible in strict first order.	Government.kif 292-292	ConstitutionalDemocraticRepublic e' um sub-atributo de Republic
No TPTP formula. May not be expressible in strict first order.	Government.kif 291-291	ConstitutionalRepublic e' um sub-atributo de Republic
No TPTP formula. May not be expressible in strict first order.	Government.kif 296-296	FederalDemocraticRepublic e' um sub-atributo de Republic
No TPTP formula. May not be expressible in strict first order.	Government.kif 293-293	FederalRepublic e' um sub-atributo de Republic
No TPTP formula. May not be expressible in strict first order.	Government.kif 295-295	ParliamentaryDemocraticRepublic e' um sub-atributo de Republic
No TPTP formula. May not be expressible in strict first order.	Government.kif 294-294	ParliamentaryRepublic e' um sub-atributo de Republic
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49556-49556
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49555-49555
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49554-49554

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