TreeView Knowledge Base Browser - LegislatureFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - LegislatureFn

LegislatureFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2003-2004
No TPTP formula. May not be expressible in strict first order.	Government.kif 2000-2000	The number 1 argument of legislature is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1999-1999	Legislature is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 2001-2001	The range of legislature is an instance of legislative organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1471-1471
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1470-1470
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1469-1469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33923-33923
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33922-33922
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33921-33921

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2014-2018	If the legislature of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is a legislative branch of the legislature of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2010-2012	If the legislature of a geopolitical area is an instance of organization, then the geopolitical area is a legislative branch of the legislature of the geopolitical area

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2014-2018	If the legislature of a geopolitical area is an instance of organization and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is a legislative branch of the legislature of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2010-2012	If the legislature of a geopolitical area is an instance of organization, then the geopolitical area is a legislative branch of the legislature of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2006-2008	If a geopolitical area is a legislative branch of a legislative organization, then the legislative organization is equal to the legislature of the geopolitical area

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