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 Le nombre 1 argument de legislativeBranch est une instance de organisation
No TPTP formula. May not be expressible in strict first order. Government.kif 2001-2001 Le nombre 2 argument de legislativeBranch est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Government.kif 1999-1999 legislativeBranch est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Government.kif 1998-1998 legislativeBranch est une instance de pr�dicat binaire

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

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