Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  chiefOfState

Sigma KEE - chiefOfState
chiefOfState

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1556-1560
No TPTP formula. May not be expressible in strict first order. Government.kif 1552-1552 The number 1 argument of chief of state is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 1553-1553 The number 2 argument of chief of state is an instance of position
No TPTP formula. May not be expressible in strict first order. Government.kif 1554-1554 The number 3 argument of chief of state is an instance of human
No TPTP formula. May not be expressible in strict first order. Government.kif 1551-1551 chief of state is an instance of ternary predicate

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 1570-1574
No TPTP formula. May not be expressible in strict first order. Government.kif 223-234
No TPTP formula. May not be expressible in strict first order. Government.kif 1584-1586
No TPTP formula. May not be expressible in strict first order. Government.kif 1562-1564
No TPTP formula. May not be expressible in strict first order. Government.kif 1566-1568

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 223-234
No TPTP formula. May not be expressible in strict first order. Government.kif 1426-1431
No TPTP formula. May not be expressible in strict first order. Government.kif 1363-1369
No TPTP formula. May not be expressible in strict first order. Government.kif 1415-1420
No TPTP formula. May not be expressible in strict first order. Government.kif 1375-1390
No TPTP formula. May not be expressible in strict first order. Government.kif 1542-1548


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