legislativeBranch |
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 2003-2005 | |
(domain legislativeBranch 1 Organization) | Government.kif 2000-2000 | Le nombre 1 argument de legislativeBranch est une instance de organisation |
(domain legislativeBranch 2 AutonomousAgent) | Government.kif 2001-2001 | Le nombre 2 argument de legislativeBranch est une instance de AutonomousAgent |
(instance legislativeBranch AsymmetricRelation) | Government.kif 1999-1999 | legislativeBranch est une instance de relation asym�trique |
(instance legislativeBranch BinaryPredicate) | Government.kif 1998-1998 | legislativeBranch est une instance de pr�dicat binaire |
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 33905-33905 | |
(termFormat ChineseTraditionalLanguage legislativeBranch "立法部門") | domainEnglishFormat.kif 33904-33904 | |
(termFormat EnglishLanguage legislativeBranch "legislative branch") | domainEnglishFormat.kif 33903-33903 |
antecedent |
consequent |
(=> (and (instance (LegislatureFn ?AREA) Organization) (instance ?AREA GeopoliticalArea)) (legislativeBranch (LegislatureFn ?AREA) (GovernmentFn ?AREA))) |
Government.kif 2050-2054 | |
(=> (instance (LegislatureFn ?AGENT) Organization) (legislativeBranch (LegislatureFn ?AGENT) ?AGENT)) |
Government.kif 2046-2048 |