TreeView Knowledge Base Browser - headOfGovernment

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

headOfGovernment

Sigma KEE - headOfGovernment

headOfGovernment

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1602-1607
No TPTP formula. May not be expressible in strict first order.	Government.kif 1598-1598	O argumento numero 1 de headOfGovernment e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1599-1599	O argumento numero 2 de headOfGovernment e' uma instancia de Posicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1600-1600	O argumento numero 3 de headOfGovernment e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Government.kif 1597-1597	headOfGovernment e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1165-1165
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1164-1164
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1163-1163
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27726-27726
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27725-27725
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27724-27724

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1609-1613	headOfGovernment 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 1640-1642	headOfGovernment Area Geopolitica, Mayor and Humano Area Geopolitica e' uma instancia de Cidade
No TPTP formula. May not be expressible in strict first order.	Government.kif 1615-1617	headOfGovernment 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 1622-1624	headOfGovernment Area Geopolitica, Governor and Humano Area Geopolitica e' uma instancia de Estado ou Provincia

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