Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  member

Sigma KEE - member
member

appearance as argument number 1
-------------------------


(documentation member ChineseLanguage "这是对属于 Collection 相同部分的专业常识概念。例如: 羊群中的每只羊,跟羊群间,是成员关系。") Merge.kif 1320-1321
(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 1317-1319
(domain member 1 Object) Merge.kif 1313-1313 组员 的 1 数量 是 客体instance
(domain member 2 Collection) Merge.kif 1314-1314 组员 的 2 数量 是 群体instance
(instance member AsymmetricRelation) Merge.kif 1311-1311 组员非对称关系instance
(instance member IntransitiveRelation) Merge.kif 1312-1312 组员非传递关系instance
(relatedInternalConcept member element) Merge.kif 1316-1316 组员元素 是 内部相关
(relatedInternalConcept member instance) Merge.kif 1315-1315 组员实例 是 内部相关

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 103-103
(subrelation associateInOrganization member) Government.kif 2373-2373 associateInOrganization组员subrelation
(subrelation groupMember member) Mid-level-ontology.kif 7262-7262 groupMember组员subrelation
(subrelation student member) Mid-level-ontology.kif 14388-14388 student组员subrelation
(subrelation teacher member) Mid-level-ontology.kif 14419-14419 teacher组员subrelation
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154 termFormat ChineseLanguage, 组员 and "组员"
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 6585-6585 termFormat EnglishLanguage, 组员 and "member"

antecedent
-------------------------


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))
Government.kif 3540-3542 客体InternationalRedCrossAndRedCrescentMovementmember 若且唯若 那个 客体InternationalFederationOfRedCrossAndRedCrescentSocietiesmember
(=>
    (and
        (ABPFn ?BUYINGS)
        (member ?BUYING ?BUYINGS))
    (instance ?BUYING Buying))
UXExperimentalTerms.kif 3438-3442
(=>
    (and
        (ASPFn ?SELLINGS)
        (member ?SELLING ?SELLINGS))
    (instance ?SELLING Selling))
UXExperimentalTerms.kif 3481-3485
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))
Economy.kif 501-505
(=>
    (and
        (businessUnit ?ORG ?BUSINESS)
        (member ?MEMBER ?ORG))
    (instance ?MEMBER Human))
UXExperimentalTerms.kif 2786-2790
(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))
UXExperimentalTerms.kif 2866-2870
(=>
    (and
        (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING)
        (member ?PROCESS ?COLLECTION))
    (experimentalVariableProcess ?EXPERIMENT ?PROCESS))
UXExperimentalTerms.kif 4238-4242
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?BUYING)
        (and
            (instance ?BUYING Buying)
            (agent ?BUYING ?MEMBER)
            (eCommerceSite ?BUYING ?SITE)
            (during
                (WhenFn ?BUYING) ?INTE))))
UXExperimentalTerms.kif 3730-3739
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER Agent))
UXExperimentalTerms.kif 3724-3728
(=>
    (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 3741-3751
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (exists (?SELLING)
        (and
            (instance ?SELLING Selling)
            (agent ?SELLING ?MEMBER)
            (eCommerceSite ?SELLING ?SITE)
            (during
                (WhenFn ?SELLING) ?INTE))))
UXExperimentalTerms.kif 3778-3787
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER Agent))
UXExperimentalTerms.kif 3772-3776
(=>
    (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 3789-3799
(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))
Media.kif 3143-3148
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))
Mid-level-ontology.kif 7270-7277
(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1727-1732
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (instance ?SHIP MerchantMarineShip))
Transportation.kif 946-950
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))
Government.kif 3160-3164
(=>
    (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 21405-21415
(=>
    (and
        (instance ?AUCTIONS Collection)
        (forall (?AUC)
            (=>
                (member ?AUC ?AUCTIONS)
                (instance ?AUC Auctioning))))
    (and
        (total
            (KappaFn ?AMOUNT
                (and
                    (instance ?AUCTION Auctioning)
                    (member ?AUCTION ?AUCTIONS)
                    (transactionAmount ?AUCTION ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
        (equal
            (AuctionGMBFn ?AUCTIONSS) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3406-3421
(=>
    (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 ?ITEM ?BUYING))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))
UXExperimentalTerms.kif 3444-3464
(=>
    (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 20191-20199
(=>
    (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 182-197
(=>
    (and
        (instance ?CATEG WebListingCategory)
        (member ?LISTING ?CATEG))
    (instance ?LISTING WebListing))
UXExperimentalTerms.kif 176-180

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 797-801 实体 客体attribute那个 实体Christianinstance 若且唯若 那个 客体Christianitymember
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))
People.kif 678-680 BeliefGroupMemberFn BeliefGroup 客体attribute 若且唯若 那个 客体那个 BeliefGroupmember
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 704-706 Agnostic 客体attribute 若且唯若 那个 客体Agnosticismmember
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))
People.kif 1348-1350 AhmadiyyaMuslim 客体attribute 若且唯若 那个 客体AhmadiyyaSectmember
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1227-1229 Anglican 客体attribute 若且唯若 那个 客体Anglicanismmember
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1235-1237 Anglican 客体attribute 若且唯若 那个 客体ChurchOfEnglandmember
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))
People.kif 722-724 Atheist 客体attribute 若且唯若 那个 客体Atheismmember
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 759-761 Bahai 客体attribute 若且唯若 那个 客体Bahaismmember
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))
People.kif 771-773 Buddhist 客体attribute 若且唯若 那个 客体Buddhismmember
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1308-1310 Confucianist 客体attribute 若且唯若 那个 客体Confucianismmember
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1361-1363 DruzeMuslim 客体attribute 若且唯若 那个 客体DruzeSectmember
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1249-1251 EasternOrthodoxChristian 客体attribute 若且唯若 那个 客体EasternOrthodoxChristianitymember
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1320-1322 Hindu 客体attribute 若且唯若 那个 客体Hinduismmember
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1409-1411 Jain 客体attribute 若且唯若 那个 客体Jainismmember
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1332-1334 Muslim 客体attribute 若且唯若 那个 客体Islammember
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1455-1457 Neopaganismist 客体attribute 若且唯若 那个 客体Neopaganismmember
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1263-1265 Protestant 客体attribute 若且唯若 那个 客体Protestantismmember
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1426-1428 ReligiousJew 客体attribute 若且唯若 那个 客体Judaismmember
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1285-1287 RomanCatholic 客体attribute 若且唯若 那个 客体RomanCatholicChurchmember
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1277-1279 RomanCatholic 客体attribute 若且唯若 那个 客体RomanCatholicismmember
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1376-1378 ShiaMuslim 客体attribute 若且唯若 那个 客体ShiiteSectmember
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1470-1472 Shintoist 客体attribute 若且唯若 那个 客体Shintomember
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1485-1487 Sikh 客体attribute 若且唯若 那个 客体Sikhismmember
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1394-1396 SunniMuslim 客体attribute 若且唯若 那个 客体SunniSectmember
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))
People.kif 1500-1502 Taoist 客体attribute 若且唯若 那个 客体Taoismmember

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 1972-1980 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
(not
    (member Denmark EuropeanMonetaryUnion))
Government.kif 3156-3156 Denmark 不 是 EuropeanMonetaryUnionmember
(not
    (member Sweden EuropeanMonetaryUnion))
Government.kif 3157-3157 Sweden 不 是 EuropeanMonetaryUnionmember
(not
    (member UnitedKingdom EuropeanMonetaryUnion))
Government.kif 3158-3158 UnitedKingdom 不 是 EuropeanMonetaryUnionmember

appearance as argument number 0
-------------------------


(member Austria EuropeanMonetaryUnion) Government.kif 3136-3136 AustriaEuropeanMonetaryUnionmember
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2588-2588 BakerIslandUnitedStatesMinorOutlyingIslandsmember
(member Belgium BeneluxEconomicUnion) Government.kif 2840-2840 BelgiumBeneluxEconomicUnionmember
(member Belgium EuropeanMonetaryUnion) Government.kif 3137-3137 BelgiumEuropeanMonetaryUnionmember
(member Cyprus EuropeanMonetaryUnion) Government.kif 3138-3138 CyprusEuropeanMonetaryUnionmember
(member Estonia EuropeanMonetaryUnion) Government.kif 3139-3139 EstoniaEuropeanMonetaryUnionmember
(member Finland EuropeanMonetaryUnion) Government.kif 3140-3140 FinlandEuropeanMonetaryUnionmember
(member France EuropeanMonetaryUnion) Government.kif 3141-3141 FranceEuropeanMonetaryUnionmember
(member Germany EuropeanMonetaryUnion) Government.kif 3142-3142 GermanyEuropeanMonetaryUnionmember
(member Greece EuropeanMonetaryUnion) Government.kif 3143-3143 GreeceEuropeanMonetaryUnionmember
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2589-2589 HowlandIslandUnitedStatesMinorOutlyingIslandsmember
(member Ireland EuropeanMonetaryUnion) Government.kif 3144-3144 IrelandEuropeanMonetaryUnionmember
(member Italy EuropeanMonetaryUnion) Government.kif 3145-3145 ItalyEuropeanMonetaryUnionmember
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2590-2590 JarvisIslandUnitedStatesMinorOutlyingIslandsmember
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2595-2595 JohnstonAtollUnitedStatesMinorOutlyingIslandsmember
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2591-2591 KingmanReefUnitedStatesMinorOutlyingIslandsmember
(member Latvia EuropeanMonetaryUnion) Government.kif 3146-3146 LatviaEuropeanMonetaryUnionmember
(member Lithuania EuropeanMonetaryUnion) Government.kif 3147-3147 LithuaniaEuropeanMonetaryUnionmember
(member Luxembourg BeneluxEconomicUnion) Government.kif 2842-2842 LuxembourgBeneluxEconomicUnionmember
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3148-3148 LuxembourgEuropeanMonetaryUnionmember
(member Malta EuropeanMonetaryUnion) Government.kif 3149-3149 MaltaEuropeanMonetaryUnionmember
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2596-2596 MidwayIslandsUnitedStatesMinorOutlyingIslandsmember
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2592-2592 NavassaIslandUnitedStatesMinorOutlyingIslandsmember
(member Netherlands BeneluxEconomicUnion) Government.kif 2841-2841 NetherlandsBeneluxEconomicUnionmember
(member Netherlands EuropeanMonetaryUnion) Government.kif 3150-3150 NetherlandsEuropeanMonetaryUnionmember

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners