TreeView Knowledge Base Browser - legislativeBranch

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	域立法部門, 1 and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1965-1965	域立法部門, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1963-1963	例立法部門 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1962-1962	例立法部門 and BinaryPredicate

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	attribute Organization and 一院制立法機關 GeopoliticalArea 是 Organization 的 legislative 分支例 Organization and 立法院子組織 Organization and 政府 GeopoliticalArea 例 Organization and 立法院子組織 Organization and 政府 GeopoliticalArea 等於 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1987-1991	Organization 是 Organization 的 legislative 分支例 Organization and Organization 子組織 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1981-1985	AutonomousAgent 是 Organization 的 legislative 分支例 AutonomousAgent and GeopoliticalArea 例 Organization and 政府組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1993-1997	GeopoliticalArea 是 Organization 的 legislative 分支例 GeopoliticalArea and GeopoliticalArea 子組織 Organization and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 2006-2008	GeopoliticalArea 是立法組織的 legislative 分支等於立法組織 and GeopoliticalArea 的 legislature
No TPTP formula. May not be expressible in strict first order.	Government.kif 1977-1979	AutonomousAgent 是 Organization 的 legislative 分支例 Organization and 立法組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 1971-1975	AutonomousAgent 是 Organization 的 legislative 分支例 AutonomousAgent and Organization 例 AutonomousAgent and GeopoliticalArea

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2014-2018	例 GeopoliticalArea 的 legislature and Organization 例 GeopoliticalArea and GeopoliticalArea 政府 GeopoliticalArea 是 GeopoliticalArea 的 legislature 的 legislative 分支
No TPTP formula. May not be expressible in strict first order.	Government.kif 2010-2012	例 GeopoliticalArea 的 legislature and Organization GeopoliticalArea 是 GeopoliticalArea 的 legislature 的 legislative 分支

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