LegislatureFn |
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 | Il numero 1 argomenti di LegislatureFn è un istanza di AreaGeopolitica |
(instance LegislatureFn UnaryFunction) | Government.kif 1999-1999 | LegislatureFn è un' istanza di FunzioneUnaria |
(range LegislatureFn LegislativeOrganization) | Government.kif 2001-2001 | rango di LegislatureFn è un'istanza di LegislativeOrganization |
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 33923-33923 | |
(termFormat ChineseTraditionalLanguage LegislatureFn "立法機關") | domainEnglishFormat.kif 33922-33922 | |
(termFormat EnglishLanguage LegislatureFn "legislature") | domainEnglishFormat.kif 33921-33921 |
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 |