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

Formal Language: 



KB Term:  Term intersection
English Word: 

  legislativeBranch

 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 O argumento numero 1 de legislativeBranch e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order. Government.kif 2001-2001 O argumento numero 2 de legislativeBranch e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Government.kif 1999-1999 legislativeBranch e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Government.kif 1998-1998 legislativeBranch e' uma instancia de Predicado Binario

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 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