| appearance as argument number 1 |
|
| (documentation LegislatureFn EnglishLanguage "(LegislatureFn ?AREA) denotes the legislative branch of the GeopoliticalArea ?AREA.") | Government.kif 2003-2004 | |
| (domain LegislatureFn 1 GeopoliticalArea) | Government.kif 2000-2000 | The number 1 argument of legislature is an instance of geopolitical area |
| (instance LegislatureFn UnaryFunction) | Government.kif 1999-1999 | Legislature is an instance of unary function |
| (range LegislatureFn LegislativeOrganization) | Government.kif 2001-2001 | The range of legislature is an instance of legislative organization |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage LegislatureFn "%1 的 legislature ") | domainEnglishFormat.kif 1471-1471 | |
| (format ChineseTraditionalLanguage LegislatureFn "%1 的 legislature ") | domainEnglishFormat.kif 1470-1470 | |
| (format EnglishLanguage LegislatureFn "the legislature of %1") | domainEnglishFormat.kif 1469-1469 | |
| (termFormat ChineseLanguage LegislatureFn "立法机关") | domainEnglishFormat.kif 33957-33957 | |
| (termFormat ChineseTraditionalLanguage LegislatureFn "立法機關") | domainEnglishFormat.kif 33956-33956 | |
| (termFormat EnglishLanguage LegislatureFn "legislature") | domainEnglishFormat.kif 33955-33955 |
| antecedent |
|
|
| (=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2014-2018 |
|
| (=> (instance (LegislatureFn ?AGENT) Organization) (legislativeBranch (LegislatureFn ?AGENT) ?AGENT)) |
Government.kif 2010-2012 |
|
| consequent |
|
|
| (=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2014-2018 |
|
| (=> (instance (LegislatureFn ?AGENT) Organization) (legislativeBranch (LegislatureFn ?AGENT) ?AGENT)) |
Government.kif 2010-2012 |
|
| (=> (legislativeBranch ?BRANCH ?AGENT) (equal ?BRANCH (LegislatureFn ?AGENT))) |
Government.kif 2006-2008 |
|
|
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