leader |
appearance as argument number 1 |
![]() |
(documentation leader EnglishLanguage "(leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON.") | Merge.kif 1608-1609 | |
(documentation leader JapaneseLanguage "(leader ?INSTITUTION ?PERSON) とは、 ?INSTITUTION のリーダーが ?PERSON という意味である。") | japanese_format.kif 294-295 | |
(domain leader 1 AutonomousAgent) | Merge.kif 1605-1605 | 域 leader, 1 and AutonomousAgent |
(domain leader 2 Human) | Merge.kif 1606-1606 | 域 leader, 2 and Human |
(instance leader AsymmetricRelation) | Merge.kif 1603-1603 | 例 leader and AsymmetricRelation |
(instance leader BinaryPredicate) | Merge.kif 1602-1602 | 例 leader and BinaryPredicate |
(instance leader SingleValuedRelation) | Merge.kif 1604-1604 | 例 leader and SingleValuedRelation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage leader "%2 %n 是 %1 的 leader ") | domainEnglishFormat.kif 1451-1451 | |
(format ChineseTraditionalLanguage leader "%2 %n 是 %1 的 leader ") | domainEnglishFormat.kif 1450-1450 | |
(format EnglishLanguage leader "%2 is %n a leader of %1") | domainEnglishFormat.kif 1449-1449 | |
(termFormat EnglishLanguage leader "leader") | domainEnglishFormat.kif 65903-65903 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |