| appearance as argument number 1 |
|
| (documentation legislativeBranch EnglishLanguage "(legislativeBranch ?BRANCH ?ORG) means that the Organization ?BRANCH is the legislative branch of the GeopoliticalArea or Organization ?ORG.") | Government.kif 1965-1967 | |
| (domain legislativeBranch 1 Organization) | Government.kif 1962-1962 | |
| (domain legislativeBranch 2 AutonomousAgent) | Government.kif 1963-1963 | |
| (instance legislativeBranch AsymmetricRelation) | Government.kif 1961-1961 | |
| (instance legislativeBranch BinaryPredicate) | Government.kif 1960-1960 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage legislativeBranch "%2 %n 是 %1 的 legislative 分支") | domainEnglishFormat.kif 1467-1467 | |
| (format ChineseTraditionalLanguage legislativeBranch "%2 %n 是 %1 的 legislative 分支") | domainEnglishFormat.kif 1466-1466 | |
| (format EnglishLanguage legislativeBranch "%2 is %n a legislative branch of %1") | domainEnglishFormat.kif 1465-1465 | |
| (termFormat ChineseLanguage legislativeBranch "立法部门") | domainEnglishFormat.kif 33916-33916 | |
| (termFormat ChineseTraditionalLanguage legislativeBranch "立法部門") | domainEnglishFormat.kif 33915-33915 | |
| (termFormat EnglishLanguage legislativeBranch "legislative branch") | domainEnglishFormat.kif 33914-33914 |
| antecedent |
|
|
| (=> (and (attribute ?ORG UnicameralLegislature) (legislativeBranch ?ORG ?AREA) (instance ?CHAMBER1 LegislativeChamber) (subOrganization ?CHAMBER1 (GovernmentFn ?AREA)) (instance ?CHAMBER2 LegislativeChamber) (subOrganization ?CHAMBER2 (GovernmentFn ?AREA))) (equal ?CHAMBER1 ?CHAMBER2)) |
Government.kif 1939-1947 | |
| (=> (and (legislativeBranch ?ORG ?AGENT) (instance ?AGENT Organization)) (subOrganization ?ORG ?AGENT)) |
Government.kif 1985-1989 | |
| (=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (instance ?ORG GovernmentOrganization)) |
Government.kif 1979-1983 | |
| (=> (and (legislativeBranch ?ORG ?AREA) (instance ?AREA GeopoliticalArea)) (subOrganization ?ORG (GovernmentFn ?AREA))) |
Government.kif 1991-1995 | |
| (=> (legislativeBranch ?BRANCH ?AGENT) (equal ?BRANCH (LegislatureFn ?AGENT))) |
Government.kif 2004-2006 | |
| (=> (legislativeBranch ?ORG ?AGENT) (instance ?ORG LegislativeOrganization)) |
Government.kif 1975-1977 | |
| (=> (legislativeBranch ?ORG ?AGENT) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1969-1973 |
| consequent |
|
|
| (=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2012-2016 | |
| (=> (instance (LegislatureFn ?AGENT) Organization) (legislativeBranch (LegislatureFn ?AGENT) ?AGENT)) |
Government.kif 2008-2010 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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