memberType |
appearance as argument number 1 |
![]() |
(documentation memberType EnglishLanguage "(memberType ?GROUP ?TYPE) means that all the members of the Collection ?GROUP belong to the Class ?TYPE.") | Mid-level-ontology.kif 24295-24297 | |
(domain memberType 1 Collection) | Mid-level-ontology.kif 24292-24292 | Le nombre 1 argument de memberType est une instance de collection |
(domain memberType 2 Class) | Mid-level-ontology.kif 24293-24293 | Le nombre 2 argument de memberType est une instance de classe |
(instance memberType BinaryPredicate) | Mid-level-ontology.kif 24291-24291 | memberType est une instance de pr�dicat binaire |
appearance as argument number 2 |
![]() |
(format ChineseLanguage memberType "%2 %n 是 %1 的 member 类别") | domainEnglishFormat.kif 1699-1699 | |
(format ChineseTraditionalLanguage memberType "%2 %n 是 %1 的 member 類別") | domainEnglishFormat.kif 1698-1698 | |
(format EnglishLanguage memberType "%2 is %n a member type of %1") | domainEnglishFormat.kif 1697-1697 | |
(termFormat ChineseLanguage memberType "会员类型") | domainEnglishFormat.kif 37046-37046 | |
(termFormat ChineseTraditionalLanguage memberType "會員類型") | domainEnglishFormat.kif 37045-37045 | |
(termFormat EnglishLanguage memberType "member type") | domainEnglishFormat.kif 37044-37044 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |