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 1566-1571
No TPTP formula. May not be expressible in strict first order. Government.kif 1562-1562 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 1563-1563 O argumento numero 2 de headOfGovernment e' uma instancia de Posicao
No TPTP formula. May not be expressible in strict first order. Government.kif 1564-1564 O argumento numero 3 de headOfGovernment e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Government.kif 1561-1561 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 1573-1577
No TPTP formula. May not be expressible in strict first order. Government.kif 1604-1606
No TPTP formula. May not be expressible in strict first order. Government.kif 1579-1581
No TPTP formula. May not be expressible in strict first order. Government.kif 1586-1588


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