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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - member
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 1182-1184
(domain member 1 Object) Merge.kif 1177-1177 domain member, 1 and Object
(domain member 2 Collection) Merge.kif 1178-1178 domain member, 2 and Collection
(instance member AsymmetricRelation) Merge.kif 1175-1175 instance member and AsymmetricRelation
(instance member IntransitiveRelation) Merge.kif 1176-1176 instance member and IntransitiveRelation
(relatedInternalConcept member element) Merge.kif 1180-1180 relatedInternalConcept member and element
(relatedInternalConcept member instance) Merge.kif 1179-1179 relatedInternalConcept member and instance

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 157-157
(subrelation associateInOrganization member) Government.kif 2367-2367 subrelation associateInOrganization and member
(subrelation groupMember member) Mid-level-ontology.kif 7260-7260 subrelation groupMember and member
(subrelation student member) Mid-level-ontology.kif 14380-14380 subrelation student and member
(subrelation teacher member) Mid-level-ontology.kif 14411-14411 subrelation teacher and member
(termFormat ChineseLanguage member "会员") domainEnglishFormat.kif 36913-36913 termFormat ChineseLanguage, member and "会员"
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154 termFormat ChineseLanguage, member and "组员"
(termFormat ChineseTraditionalLanguage member "會員") domainEnglishFormat.kif 36912-36912 termFormat ChineseTraditionalLanguage, member and "會員"
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 36911-36911 termFormat EnglishLanguage, member and "member"

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))		 Government.kif 3534-3536 member Object and InternationalRedCrossAndRedCrescentMovement member Object and InternationalFederationOfRedCrossAndRedCrescentSocieties
(=>
    (and
        (ABPFn ?BUYINGS)
        (member ?BUYING ?BUYINGS))
    (instance ?BUYING Buying))		 UXExperimentalTerms.kif 3436-3440
(=>
    (and
        (ASPFn ?SELLINGS)
        (member ?SELLING ?SELLINGS))
    (instance ?SELLING Selling))		 UXExperimentalTerms.kif 3479-3483
(=>
    (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 2784-2788
(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))		 UXExperimentalTerms.kif 2864-2868
(=>
    (and
        (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING)
        (member ?PROCESS ?COLLECTION))
    (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))		 UXExperimentalTerms.kif 4245-4249
(=>
    (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 3737-3746
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER Agent))		 UXExperimentalTerms.kif 3731-3735
(=>
    (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 3748-3758
(=>
    (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 3785-3794
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER Agent))		 UXExperimentalTerms.kif 3779-3783
(=>
    (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 3796-3806
(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))		 Media.kif 3175-3180
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))		 Mid-level-ontology.kif 7268-7275
(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1721-1726
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (instance ?SHIP MerchantMarineShip))		 Transportation.kif 961-965
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))		 Government.kif 3154-3158
(=>
    (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 21310-21320
(=>
    (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 ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))		 UXExperimentalTerms.kif 3404-3419
(=>
    (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 3442-3462
(=>
    (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 20096-20104
(=>
    (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 Object and Entity instance Entity and Christian member Object and Christianity
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))		 People.kif 678-680 attribute Object and BeliefGroupMemberFn BeliefGroup member Object and BeliefGroup
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 704-706 attribute Object and Agnostic member Object and Agnosticism
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1349-1351 attribute Object and AhmadiyyaMuslim member Object and AhmadiyyaSect
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1227-1229 attribute Object and Anglican member Object and Anglicanism
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1235-1237 attribute Object and Anglican member Object and ChurchOfEngland
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 722-724 attribute Object and Atheist member Object and Atheism
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 759-761 attribute Object and Bahai member Object and Bahaism
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 771-773 attribute Object and Buddhist member Object and Buddhism
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1308-1310 attribute Object and Confucianist member Object and Confucianism
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1363-1365 attribute Object and DruzeMuslim member Object and DruzeSect
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1249-1251 attribute Object and EasternOrthodoxChristian member Object and EasternOrthodoxChristianity
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1320-1322 attribute Object and Hindu member Object and Hinduism
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1413-1415 attribute Object and Jain member Object and Jainism
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1332-1334 attribute Object and Muslim member Object and Islam
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1459-1461 attribute Object and Neopaganismist member Object and Neopaganism
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1263-1265 attribute Object and Protestant member Object and Protestantism
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1430-1432 attribute Object and ReligiousJew member Object and Judaism
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1285-1287 attribute Object and RomanCatholic member Object and RomanCatholicChurch
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1277-1279 attribute Object and RomanCatholic member Object and RomanCatholicism
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1379-1381 attribute Object and ShiaMuslim member Object and ShiiteSect
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))		 People.kif 1474-1476 attribute Object and Shintoist member Object and Shinto
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))		 People.kif 1489-1491 attribute Object and Sikh member Object and Sikhism
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))		 People.kif 1398-1400 attribute Object and SunniMuslim member Object and SunniSect
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))		 People.kif 1504-1506 attribute Object and Taoist member Object and Taoism

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 TimeInterval instance TimeInterval and TimeInterval finishes TimeInterval and WhenFn JesusOfNazareth starts TimeInterval and WhenFn TwelveApostles entity
(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3150-3150 member Denmark and EuropeanMonetaryUnion
(not
    (member Sweden EuropeanMonetaryUnion))		 Government.kif 3151-3151 member Sweden and EuropeanMonetaryUnion
(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3152-3152 member UnitedKingdom and EuropeanMonetaryUnion

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


(member Austria EuropeanMonetaryUnion) Government.kif 3130-3130 member Austria and EuropeanMonetaryUnion
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2588-2588 member BakerIsland and UnitedStatesMinorOutlyingIslands
(member Belgium BeneluxEconomicUnion) Government.kif 2834-2834 member Belgium and BeneluxEconomicUnion
(member Belgium EuropeanMonetaryUnion) Government.kif 3131-3131 member Belgium and EuropeanMonetaryUnion
(member Cyprus EuropeanMonetaryUnion) Government.kif 3132-3132 member Cyprus and EuropeanMonetaryUnion
(member Estonia EuropeanMonetaryUnion) Government.kif 3133-3133 member Estonia and EuropeanMonetaryUnion
(member Finland EuropeanMonetaryUnion) Government.kif 3134-3134 member Finland and EuropeanMonetaryUnion
(member France EuropeanMonetaryUnion) Government.kif 3135-3135 member France and EuropeanMonetaryUnion
(member Germany EuropeanMonetaryUnion) Government.kif 3136-3136 member Germany and EuropeanMonetaryUnion
(member Greece EuropeanMonetaryUnion) Government.kif 3137-3137 member Greece and EuropeanMonetaryUnion
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2589-2589 member HowlandIsland and UnitedStatesMinorOutlyingIslands
(member Ireland EuropeanMonetaryUnion) Government.kif 3138-3138 member Ireland and EuropeanMonetaryUnion
(member Italy EuropeanMonetaryUnion) Government.kif 3139-3139 member Italy and EuropeanMonetaryUnion
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2590-2590 member JarvisIsland and UnitedStatesMinorOutlyingIslands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2595-2595 member JohnstonAtoll and UnitedStatesMinorOutlyingIslands
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2591-2591 member KingmanReef and UnitedStatesMinorOutlyingIslands
(member Latvia EuropeanMonetaryUnion) Government.kif 3140-3140 member Latvia and EuropeanMonetaryUnion
(member Lithuania EuropeanMonetaryUnion) Government.kif 3141-3141 member Lithuania and EuropeanMonetaryUnion
(member Luxembourg BeneluxEconomicUnion) Government.kif 2836-2836 member Luxembourg and BeneluxEconomicUnion
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3142-3142 member Luxembourg and EuropeanMonetaryUnion
(member Malta EuropeanMonetaryUnion) Government.kif 3143-3143 member Malta and EuropeanMonetaryUnion
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2596-2596 member MidwayIslands and UnitedStatesMinorOutlyingIslands
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2592-2592 member NavassaIsland and UnitedStatesMinorOutlyingIslands
(member Netherlands BeneluxEconomicUnion) Government.kif 2835-2835 member Netherlands and BeneluxEconomicUnion
(member Netherlands EuropeanMonetaryUnion) Government.kif 3144-3144 member Netherlands and EuropeanMonetaryUnion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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



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