member |
appearance as argument number 1 |
![]() |
(documentation member ChineseLanguage "这是对属于 Collection 相同部分的专业常识概念。例如: 羊群中的每只羊,跟羊群间,是成员关系。") | chinese_format.kif 1633-1634 | |
(documentation member EnglishLanguage "A specialized common sense notion of part for uniform parts of Collections. For example, each sheep in a flock of sheep would have the relationship of member to the flock.") | Merge.kif 1284-1286 | |
(documentation member JapaneseLanguage "Collections の均一パーツの専門常識の概念の部分。 例えば、群れの各羊が、群れのメンバーとして関係を持つ、など。") | japanese_format.kif 216-217 | |
(documentation member SpanishLanguage "Una noción especializada de sentido común para las partes uniformes de Collections. Por ejemplo, cada oveja en un rebaño tendría la relación de «miembro» de rebaño.") | spanish_format.kif 256-258 | |
(domain member 1 Physical) | Merge.kif 1279-1279 | 域 會員, 1 and Physical |
(domain member 2 Collection) | Merge.kif 1280-1280 | 域 會員, 2 and Collection |
(instance member AsymmetricRelation) | Merge.kif 1276-1276 | 例 會員 and AsymmetricRelation |
(instance member BinaryPredicate) | Merge.kif 1277-1277 | 例 會員 and BinaryPredicate |
(instance member IntransitiveRelation) | Merge.kif 1278-1278 | 例 會員 and IntransitiveRelation |
(relatedInternalConcept member element) | Merge.kif 1282-1282 | 相關的內部概念 會員 and 元件 |
(relatedInternalConcept member instance) | Merge.kif 1281-1281 | 相關的內部概念 會員 and 例 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage member "%1 %n 是 %2 的 member") | chinese_format.kif 153-153 | |
(format EnglishLanguage member "%1 is %n a member of %2") | english_format.kif 154-154 | |
(format FrenchLanguage member "%1 est %n un membre de %2") | french_format.kif 97-97 | |
(format ItalianLanguage member "%1 è %n un membro di %2") | relations-it.txt 182-182 | |
(format JapaneseLanguage member "%1 は %2 の member では %n") | japanese_format.kif 1925-1925 | |
(format PortugueseLanguage member "%1 e' %n membro de %2") | portuguese_format.kif 49-49 | |
(format cz member "%1 %p{je} %n{nen�} a �lenem %2") | relations-cz.txt 69-69 | |
(format de member "%1 ist ein Mitglied von %2 %n{nicht}") | relations-de.txt 185-185 | |
(format hi member "%1 %2 kaa sadasya %n hai") | relations-hindi.txt 220-220 | |
(format ro member "%1 %n{nu} este un member%t{membru} al lui %2") | relations-ro.kif 116-116 | |
(format sv member "%1 är %n{inte} en medlem av %2") | relations-sv.txt 96-96 | |
(format tg member "%1 %n ay ang kasapi ng %2") | relations-tg.txt 358-358 | |
(subrelation associateInOrganization member) | Government.kif 2426-2426 | 子關係 在組織中關聯 and 會員 |
(subrelation groupMember member) | Mid-level-ontology.kif 7526-7526 | 子關係 小組成員 and 會員 |
(subrelation student member) | Mid-level-ontology.kif 16763-16763 | 子關係 student and 會員 |
(subrelation teacher member) | Mid-level-ontology.kif 16835-16835 | 子關係 teacher and 會員 |
(termFormat ChineseLanguage member "会员") | domainEnglishFormat.kif 37001-37001 | |
(termFormat ChineseLanguage member "组员") | chinese_format.kif 154-154 | |
(termFormat ChineseTraditionalLanguage member "會員") | domainEnglishFormat.kif 37000-37000 | |
(termFormat EnglishLanguage member "member") | domainEnglishFormat.kif 36999-36999 | |
(termFormat de member "mitglied") | terms-de.txt 57-57 | |
(termFormat tg member "kasapi") | relations-tg.txt 359-359 |
antecedent |
![]() |
(<=> (member ?PART InternationalRedCrossAndRedCrescentMovement) (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties)) |
Government.kif 3603-3605 | 會員 Physical and 國際紅十字和紅新月運動 會員 Physical and 國際紅十字會和紅新月會聯合會 |
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry)) |
Economy.kif 506-510 |
|
(=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human)) |
UXExperimentalTerms.kif 2587-2591 |
|
(=> (and (crossFunctionalTeamFocus ?FOCUS ?TEAM) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?FOCUS)) |
UXExperimentalTerms.kif 2667-2671 | |
(=> (and (equal ?X (ABPFn ?BUYINGS)) (member ?BUYING ?BUYINGS)) (instance ?BUYING Buying)) |
UXExperimentalTerms.kif 3239-3243 |
|
(=> (and (equal ?X (ASPFn ?SELLINGS)) (member ?SELLING ?SELLINGS)) (instance ?SELLING Selling)) |
UXExperimentalTerms.kif 3284-3288 |
|
(=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS)) |
UXExperimentalTerms.kif 4051-4055 |
|
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (during (WhenFn ?BUYING) ?INT)))) |
UXExperimentalTerms.kif 3542-3551 | |
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent)) |
UXExperimentalTerms.kif 3536-3540 |
|
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (earlier (WhenFn ?BUYING) ?INT))))) |
UXExperimentalTerms.kif 3553-3563 | |
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (during (WhenFn ?SELLING) ?INT)))) |
UXExperimentalTerms.kif 3590-3599 | |
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent)) |
UXExperimentalTerms.kif 3584-3588 |
|
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (earlier (WhenFn ?SELLING) ?INT))))) |
UXExperimentalTerms.kif 3601-3611 | |
(=> (and (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (instance ?PRODUCT ?PRODUCTTYPE) (member ?OBJ ?PRODUCT)) (instance ?OBJ ContentBearingPhysical)) |
Media.kif 3207-3212 |
|
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP))) |
Mid-level-ontology.kif 7534-7541 | |
(=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1767-1772 |
|
(=> (and (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (instance ?SHIP MerchantMarineShip)) |
Transportation.kif 972-976 |
|
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3223-3227 |
|
(=> (and (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT) (instance ?AGENT GroupOfPeople) (member ?MEMBER ?AGENT)) (exists (?ARREST1) (and (instance ?ARREST1 PlacingUnderArrest) (arrested ?ARREST1 ?MEMBER) (subProcess ?ARREST1 ?ARREST)))) |
Mid-level-ontology.kif 23443-23453 |
|
(=> (and (instance ?AUCTIONS Collection) (forall (?AUC) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning)))) (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT) (and (total (KappaFn ?AMOUNT (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))) |
UXExperimentalTerms.kif 3210-3223 |
|
(=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3247-3267 |
|
(=> (and (instance ?C Convoy) (member ?VEH ?C)) (exists (?DRIVE) (and (instance ?DRIVE Driving) (overlapsTemporally (WhenFn ?DRIVE) (WhenFn ?C)) (patient ?DRIVE ?VEH)))) |
Mid-level-ontology.kif 22297-22305 | |
(=> (and (instance ?C Convoy) (member ?X1 ?C) (member ?X2 ?C) (not (equal ?X1 ?X2))) (exists (?P1 ?P2 ?D) (and (instance ?P1 Transportation) (instance ?P2 Transportation) (agent ?P1 ?X1) (agent ?P2 ?X2) (destination ?P1 ?D) (destination ?P2 ?D)))) |
Military.kif 108-122 |
|
(=> (and (instance ?CATEG WebListingCategory) (instance ?LISTING1 WebListing) (instance ?LISTING2 WebListing) (instance ?ITEM1 Object) (instance ?ITEM2 Object) (member ?LISTING1 ?CATEG) (member ?LISTING2 ?CATEG) (patient ?ITEM1 ?LISTING1) (patient ?ITEM2 ?LISTING2)) (exists (?CLASS) (and (instance ?CLASS Class) (instance ?ITEM1 ?CLASS) (instance ?ITEM2 ?CLASS)))) |
UXExperimentalTerms.kif 145-160 | |
(=> (and (instance ?CATEG WebListingCategory) (member ?LISTING ?CATEG)) (instance ?LISTING WebListing)) |
UXExperimentalTerms.kif 139-143 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 702-704 | attribute Object and 信仰團體 的 member 會員 Object and 信仰團體 |
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 728-730 | attribute Object and 不可知 會員 Object and 不可知論 |
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1373-1375 | attribute Object and ahmadiyya穆斯林 會員 Object and ahmadiyya教派 |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1251-1253 | attribute Object and 英國國教 會員 Object and 英國國教 |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1259-1261 | attribute Object and 英國國教 會員 Object and 英格蘭教堂 |
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 746-748 | attribute Object and 無神論者 會員 Object and 無神論 |
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 783-785 | attribute Object and 巴哈 會員 Object and 巴哈主義 |
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 795-797 | attribute Object and 佛教徒 會員 Object and 佛教 |
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1332-1334 | attribute Object and 儒 會員 Object and 儒 |
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1387-1389 | attribute Object and 德魯茲穆斯林 會員 Object and 德魯茲教派 |
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1273-1275 | attribute Object and 東正教基督教 會員 Object and 東正教基督教 |
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1344-1346 | attribute Object and 印度教 會員 Object and 印度教 |
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1437-1439 | attribute Object and 耆那教 會員 Object and 耆那教 |
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1356-1358 | attribute Object and 穆斯林 會員 Object and 伊斯蘭教 |
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1483-1485 | attribute Object and neopaganismist 會員 Object and neopaganism |
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1287-1289 | attribute Object and 新教 會員 Object and 新教 |
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1454-1456 | attribute Object and 宗教的猶太人 會員 Object and 猶太教 |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1309-1311 | attribute Object and 羅馬天主教徒 會員 Object and 羅馬天主教會 |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1301-1303 | attribute Object and 羅馬天主教徒 會員 Object and 羅馬天主教 |
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect)) |
People.kif 1403-1405 | attribute Object and 什葉派穆斯林 會員 Object and 什葉派 |
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto)) |
People.kif 1498-1500 | attribute Object and 神道教 會員 Object and 神道 |
(<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism)) |
People.kif 1513-1515 | attribute Object and 錫克教 會員 Object and 錫克教 |
(<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect)) |
People.kif 1422-1424 | attribute Object and 遜尼派穆斯林 會員 Object and 遜尼派 |
(<=> (attribute ?INDIVIDUAL Taoist) (member ?INDIVIDUAL Taoism)) |
People.kif 1528-1530 | attribute Object and 道 會員 Object and 道教 |
(<=> (attribute ?INDIVIDUAL Zoroastrian) (member ?INDIVIDUAL Zoroastrianism)) |
People.kif 1543-1545 | attribute Object and 拜火教 會員 Object and 拜火教 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
![]() |
(exists (?TIME) (and (instance ?TIME TimeInterval) (finishes ?TIME (WhenFn JesusOfNazareth)) (starts ?TIME (WhenFn TwelveApostles)) (forall (?MEM) (=> (holdsDuring ?TIME (member ?MEM TwelveApostles)) (holdsDuring ?TIME (friend ?MEM JesusOfNazareth)))))) |
Media.kif 1970-1978 | TimeInterval 例 TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles entity
|
(not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3219-3219 | 會員 丹麥 and 歐洲貨幣聯盟 |
(not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3220-3220 | 會員 瑞典 and 歐洲貨幣聯盟 |
(not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3221-3221 | 會員 英國 and 歐洲貨幣聯盟 |
appearance as argument number 0 |
![]() |
![]() |
![]() |