TreeView Knowledge Base Browser - Monarch

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Monarch

Monarch

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1325-1325
No TPTP formula. May not be expressible in strict first order.	Government.kif 1324-1324	Monarch e' uma instancia de Posicao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 1357-1357	King e' um sub-atributo de Monarch
No TPTP formula. May not be expressible in strict first order.	Government.kif 1371-1371	QueenRegnant e' um sub-atributo de Monarch
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38315-38315
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38314-38314
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38313-38313

antecedent

No TPTP formula. May not be expressible in strict first order.

Government.kif 1327-1333

Monarch e' um atributo de Humano
Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica governmentType Area Geopolitica and Monarchy chiefOfState Area Geopolitica, Monarch and Humano

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 242-246	governmentType AutonomousAgent and AbsoluteMonarchy AutonomousAgent e' uma instancia de Area Geopolitica leaderPosition AutonomousAgent and Monarch
No TPTP formula. May not be expressible in strict first order.	Government.kif 1327-1333	Monarch e' um atributo de Humano Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica governmentType Area Geopolitica and Monarchy chiefOfState Area Geopolitica, Monarch and Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1339-1354	Processo e' uma instancia de Coronation Entidade Entidade Entidade e' uma instancia de Humano Entidade e' um patient de Processo Entidade e' uma instancia de Area Geopolitica chiefOfState Entidade, Monarch and Entidade vale durante o comeco de tempo de existencia de Processo chiefOfState Entidade, Monarch and Entidade vale durante imediatemente apos tempo de existencia de Processo

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