chiefOfState - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - chiefOfState

chiefOfState

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1520-1524
No TPTP formula. May not be expressible in strict first order.	Government.kif 1516-1516	O argumento numero 1 de chiefOfState e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1517-1517	O argumento numero 2 de chiefOfState e' uma instancia de Posicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1518-1518	O argumento numero 3 de chiefOfState e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1515-1515	chiefOfState e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 440-440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 439-439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 438-438
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14448-14448
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14447-14447
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14446-14446

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1534-1538	chiefOfState Nacao, Posicao and Humano Nacao e' uma instancia de Nacao Humano e' um cidadao de Nacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	governmentType AutonomousAgent and Monarchy Organismo e' uma instancia de Humano Organismo e' uma instancia de Humano chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal Organismo e Organismo sao parentes Intervalo Temporal acontence antes de Intervalo Temporal o argumento chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Government.kif 1548-1550	chiefOfState Area Geopolitica, Posicao and Humano chiefOfStateType Area Geopolitica and Posicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1526-1528	chiefOfState Area Geopolitica, Posicao and Humano Humano ocupa a posicao de Posicao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1530-1532	chiefOfState Area Geopolitica, Posicao and Humano Humano ocupa a posicao de Leader o governo de Area Geopolitica

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	governmentType AutonomousAgent and Monarchy Organismo e' uma instancia de Humano Organismo e' uma instancia de Humano chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal Organismo e Organismo sao parentes Intervalo Temporal acontence antes de Intervalo Temporal o argumento chiefOfState AutonomousAgent, Entidade and Organismo vale durante Intervalo Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Government.kif 1390-1395	PrinceConsort e' um atributo de Humano Humano HumanoLACE chiefOfState HumanoLACE, QueenRegnant and Humano spouse Humano and Humano
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 1379-1384	QueenConsort e' um atributo de Humano Humano Area Geopolitica chiefOfState Area Geopolitica, King and Humano spouse Humano 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
No TPTP formula. May not be expressible in strict first order.	Government.kif 1506-1512	PermanentResidence e' uma instancia de ExecutiveResidence Area Geopolitica Posicao and Humano PermanentResidence e' situado em Area Geopolitica a casa de Humano e' PermanentResidence chiefOfState Area Geopolitica, Posicao and Humano

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