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 1967-1969
No TPTP formula. May not be expressible in strict first order. Government.kif 1964-1964 Le nombre 1 argument de legislativeBranch est une instance de organisation
No TPTP formula. May not be expressible in strict first order. Government.kif 1965-1965 Le nombre 2 argument de legislativeBranch est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Government.kif 1963-1963 legislativeBranch est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Government.kif 1962-1962 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 1941-1949
No TPTP formula. May not be expressible in strict first order. Government.kif 1987-1991
No TPTP formula. May not be expressible in strict first order. Government.kif 1981-1985
No TPTP formula. May not be expressible in strict first order. Government.kif 1993-1997
No TPTP formula. May not be expressible in strict first order. Government.kif 2006-2008
No TPTP formula. May not be expressible in strict first order. Government.kif 1977-1979
No TPTP formula. May not be expressible in strict first order. Government.kif 1971-1975

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