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 1294-1296 | |
(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 1289-1289 | member の数値 1 引数は 物理 の instance では |
(domain member 2 Collection) | Merge.kif 1290-1290 | member の数値 2 引数は コレクション の instance では |
(instance member AsymmetricRelation) | Merge.kif 1286-1286 | member は 非対称関係 の instance では |
(instance member BinaryPredicate) | Merge.kif 1287-1287 | member は 2進述語 の instance では |
(instance member IntransitiveRelation) | Merge.kif 1288-1288 | member は 非推移関係 の instance では |
(relatedInternalConcept member element) | Merge.kif 1292-1292 | member は element に internally 関連して |
(relatedInternalConcept member instance) | Merge.kif 1291-1291 | member は instance に internally 関連して |
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 2387-2387 | associateInOrganization は member の subrelation では |
(subrelation groupMember member) | Mid-level-ontology.kif 8721-8721 | groupMember は member の subrelation では |
(subrelation student member) | Mid-level-ontology.kif 18178-18178 | student は member の subrelation では |
(subrelation teacher member) | Mid-level-ontology.kif 18250-18250 | teacher は member の subrelation では |
(termFormat ChineseLanguage member "会员") | domainEnglishFormat.kif 36998-36998 | teacher は member の subrelation では |
(termFormat ChineseLanguage member "组员") | chinese_format.kif 154-154 | teacher は member の subrelation では |
(termFormat ChineseTraditionalLanguage member "會員") | domainEnglishFormat.kif 36997-36997 | teacher は member の subrelation では |
(termFormat EnglishLanguage member "member") | domainEnglishFormat.kif 36996-36996 | teacher は member の subrelation では |
(termFormat de member "mitglied") | terms-de.txt 57-57 | teacher は member の subrelation では |
(termFormat tg member "kasapi") | relations-tg.txt 359-359 | teacher は member の subrelation では |
antecedent |
![]() |
(<=> (member ?PART InternationalRedCrossAndRedCrescentMovement) (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties)) |
Government.kif 3564-3566 | 物理 は InternationalRedCrossAndRedCrescentMovement の member では 物理 は InternationalFederationOfRedCrossAndRedCrescentSocieties の member では |
(=> (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 2579-2583 | |
(=> (and (crossFunctionalTeamFocus ?FOCUS ?TEAM) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?FOCUS)) |
UXExperimentalTerms.kif 2659-2663 | |
(=> (and (equal ?X (ABPFn ?BUYINGS)) (member ?BUYING ?BUYINGS)) (instance ?BUYING Buying)) |
UXExperimentalTerms.kif 3231-3235 | |
(=> (and (equal ?X (ASPFn ?SELLINGS)) (member ?SELLING ?SELLINGS)) (instance ?SELLING Selling)) |
UXExperimentalTerms.kif 3276-3280 | |
(=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS)) |
UXExperimentalTerms.kif 4043-4047 | |
(=> (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 3534-3543 | |
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent)) |
UXExperimentalTerms.kif 3528-3532 |
|
(=> (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 3545-3555 | |
(=> (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 3582-3591 | |
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent)) |
UXExperimentalTerms.kif 3576-3580 |
|
(=> (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 3593-3603 | |
(=> (and (fleetDeadWeightTonnage ?FLEET (MeasureFn ?T LongTon)) (vesselDeadWeightTonnage ?VESSEL (MeasureFn ?X LongTon)) (member ?VESSEL ?FLEET)) (exists (?L) (and (instance ?L List) (inList ?X ?L) (equal ?T (ListSumFn ?L))))) |
Transportation.kif 2738-2748 | |
(=> (and (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (instance ?PRODUCT ?PRODUCTTYPE) (member ?OBJ ?PRODUCT)) (instance ?OBJ ContentBearingPhysical)) |
Media.kif 3191-3196 | |
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP))) |
Mid-level-ontology.kif 8729-8736 | |
(=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1729-1734 | |
(=> (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 3184-3188 |
|
(=> (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 25135-25145 |
|
(=> (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 3202-3215 | |
(=> (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 3239-3259 | |
(=> (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 23989-23997 | |
(=> (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 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
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 1972-1980 | 時間間隔 時間間隔 は 時間間隔 の instance では 時間間隔 は JesusOfNazareth の time の existence を finishes 時間間隔 は TwelveApostles の time の existence を starts エンティティー
|
(not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3180-3180 | Denmark は EuropeanMonetaryUnion の member では |
(not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3181-3181 | Sweden は EuropeanMonetaryUnion の member では |
(not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3182-3182 | UnitedKingdom は EuropeanMonetaryUnion の member では |
appearance as argument number 0 |
![]() |
![]() |
![]() |