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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - legislativeBranch
legislativeBranch

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2003-2005
No TPTP formula. May not be expressible in strict first order. Government.kif 2000-2000 The number 1 argument of legislative branch is an instance of organization
No TPTP formula. May not be expressible in strict first order. Government.kif 2001-2001 The number 2 argument of legislative branch is an instance of agent
No TPTP formula. May not be expressible in strict first order. Government.kif 1999-1999 legislative branch is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Government.kif 1998-1998 legislative branch is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1467-1467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1466-1466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1465-1465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33905-33905
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33904-33904
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33903-33903

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1977-1985
No TPTP formula. May not be expressible in strict first order. Government.kif 2023-2027
No TPTP formula. May not be expressible in strict first order. Government.kif 2017-2021
No TPTP formula. May not be expressible in strict first order. Government.kif 2029-2033
No TPTP formula. May not be expressible in strict first order. Government.kif 2042-2044
No TPTP formula. May not be expressible in strict first order. Government.kif 2013-2015
No TPTP formula. May not be expressible in strict first order. Government.kif 2007-2011

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2050-2054
No TPTP formula. May not be expressible in strict first order. Government.kif 2046-2048


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