leader |
appearance as argument number 1 |
(documentation leader EnglishLanguage "(leader ?INSTITUTION ?PERSON) means that the leader of ?INSTITUTION is ?PERSON.") | Merge.kif 1615-1616 | |
(documentation leader JapaneseLanguage "(leader ?INSTITUTION ?PERSON) とは、 ?INSTITUTION のリーダーが ?PERSON という意味である。") | japanese_format.kif 294-295 | |
(domain leader 1 AutonomousAgent) | Merge.kif 1612-1612 | The number 1 argument of leader is an instance of agent |
(domain leader 2 Human) | Merge.kif 1613-1613 | The number 2 argument of leader is an instance of human |
(instance leader AsymmetricRelation) | Merge.kif 1610-1610 | leader is an instance of asymmetric relation |
(instance leader BinaryPredicate) | Merge.kif 1609-1609 | leader is an instance of binary predicate |
(instance leader SingleValuedRelation) | Merge.kif 1611-1611 | leader is an instance of single valued relation |
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 65865-65865 |
antecedent |
consequent |