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 | The number 1 argument of legislative branch is an instance of organization |
(domain legislativeBranch 2 AutonomousAgent) | Government.kif 2001-2001 | The number 2 argument of legislative branch is an instance of agent |
(instance legislativeBranch AsymmetricRelation) | Government.kif 1999-1999 | legislative branch is an instance of asymmetric relation |
(instance legislativeBranch BinaryPredicate) | Government.kif 1998-1998 | legislative branch is an instance of binary predicate |
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 |
|