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

Formal Language: 



KB Term:  Term intersection
English Word: 

  electionDatePlannedForPosition

Sigma KEE - electionDatePlannedForPosition
electionDatePlannedForPosition

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


No TPTP formula. May not be expressible in strict first order. Government.kif 1740-1743
No TPTP formula. May not be expressible in strict first order. Government.kif 1736-1736 The number 1 argument of election date planned for position is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1738-1738 The number 3 argument of election date planned for position is an instance of social role
No TPTP formula. May not be expressible in strict first order. Government.kif 1737-1737 The number 2 argument of election date planned for position is a subclass of time position
No TPTP formula. May not be expressible in strict first order. Government.kif 1735-1735 election date planned for position is an instance of ternary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 840-840
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 839-839
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 838-838
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21414-21414
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21413-21413
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21412-21412


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