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 The number 1 argument of member is an instance of object
(domain member 2 Collection) Merge.kif 1178-1178 The number 2 argument of member is an instance of collection
(instance member AsymmetricRelation) Merge.kif 1175-1175 member is an instance of asymmetric relation
(instance member IntransitiveRelation) Merge.kif 1176-1176 member is an instance of intransitive relation
(relatedInternalConcept member element) Merge.kif 1180-1180 member is internally related to element
(relatedInternalConcept member instance) Merge.kif 1179-1179 member is internally related to 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 associate in organization is a subrelation of member
(subrelation groupMember member) Mid-level-ontology.kif 7263-7263 group member is a subrelation of member
(subrelation student member) Mid-level-ontology.kif 14388-14388 student is a subrelation of member
(subrelation teacher member) Mid-level-ontology.kif 14419-14419 teacher is a subrelation of member
(termFormat ChineseLanguage member "会员") domainEnglishFormat.kif 36913-36913 "会员" is the printable form of member in ChineseLanguage
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154 "组员" is the printable form of member in ChineseLanguage
(termFormat ChineseTraditionalLanguage member "會員") domainEnglishFormat.kif 36912-36912 "會員" is the printable form of member in ChineseTraditionalLanguage
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 36911-36911 "member" is the printable form of member in english language

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))
Government.kif 3534-3536 An object is a member of international red cross and red crescent movement if and only if the object is a member of international federation of red cross and red crescent societies
(=>
    (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 7271-7278
(=>
    (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 21406-21416
(=>
    (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 20192-20200
(=>
    (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 An entity is an attribute of an object and the entity is an instance of christian if and only if the object is a member of christianity
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))
People.kif 678-680 A member of a belief group is an attribute of an object if and only if the object is a member of the belief group
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 704-706 Agnostic is an attribute of an object if and only if the object is a member of agnosticism
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))
People.kif 1349-1351 Ahmadiyya muslim is an attribute of an object if and only if the object is a member of ahmadiyya sect
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1227-1229 Anglican is an attribute of an object if and only if the object is a member of anglicanism
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1235-1237 Anglican is an attribute of an object if and only if the object is a member of church of england
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))
People.kif 722-724 Atheist is an attribute of an object if and only if the object is a member of atheism
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 759-761 Bahai is an attribute of an object if and only if the object is a member of bahaism
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))
People.kif 771-773 Buddhist is an attribute of an object if and only if the object is a member of buddhism
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1308-1310 Confucianist is an attribute of an object if and only if the object is a member of confucianism
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1363-1365 Druze muslim is an attribute of an object if and only if the object is a member of druze sect
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1249-1251 Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1320-1322 Hindu is an attribute of an object if and only if the object is a member of hinduism
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1413-1415 Jain is an attribute of an object if and only if the object is a member of jainism
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1332-1334 Muslim is an attribute of an object if and only if the object is a member of islam
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1459-1461 Neopaganismist is an attribute of an object if and only if the object is a member of neopaganism
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1263-1265 Protestant is an attribute of an object if and only if the object is a member of protestantism
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1430-1432 Religious jew is an attribute of an object if and only if the object is a member of judaism
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1285-1287 Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1277-1279 Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1379-1381 Shia muslim is an attribute of an object if and only if the object is a member of shiite sect
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1474-1476 Shintoist is an attribute of an object if and only if the object is a member of shinto
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1489-1491 Sikh is an attribute of an object if and only if the object is a member of sikhism
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1398-1400 Sunni muslim is an attribute of an object if and only if the object is a member of sunni sect
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))
People.kif 1504-1506 Taoist is an attribute of an object if and only if the object is a member of 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 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity
(not
    (member Denmark EuropeanMonetaryUnion))
Government.kif 3150-3150 Denmark is not a member of european monetary union
(not
    (member Sweden EuropeanMonetaryUnion))
Government.kif 3151-3151 Sweden is not a member of european monetary union
(not
    (member UnitedKingdom EuropeanMonetaryUnion))
Government.kif 3152-3152 United kingdom is not a member of european monetary union

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


(member Austria EuropeanMonetaryUnion) Government.kif 3130-3130 Austria is a member of european monetary union
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2588-2588 Baker island is a member of UnitedStatesMinorOutlyingIslands
(member Belgium BeneluxEconomicUnion) Government.kif 2834-2834 Belgium is a member of benelux economic union
(member Belgium EuropeanMonetaryUnion) Government.kif 3131-3131 Belgium is a member of european monetary union
(member Cyprus EuropeanMonetaryUnion) Government.kif 3132-3132 Cyprus is a member of european monetary union
(member Estonia EuropeanMonetaryUnion) Government.kif 3133-3133 Estonia is a member of european monetary union
(member Finland EuropeanMonetaryUnion) Government.kif 3134-3134 Finland is a member of european monetary union
(member France EuropeanMonetaryUnion) Government.kif 3135-3135 France is a member of european monetary union
(member Germany EuropeanMonetaryUnion) Government.kif 3136-3136 Germany is a member of european monetary union
(member Greece EuropeanMonetaryUnion) Government.kif 3137-3137 Greece is a member of european monetary union
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2589-2589 Howland island is a member of UnitedStatesMinorOutlyingIslands
(member Ireland EuropeanMonetaryUnion) Government.kif 3138-3138 Ireland is a member of european monetary union
(member Italy EuropeanMonetaryUnion) Government.kif 3139-3139 Italy is a member of european monetary union
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2590-2590 Jarvis island is a member of UnitedStatesMinorOutlyingIslands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2595-2595 Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2591-2591 Kingman reef is a member of UnitedStatesMinorOutlyingIslands
(member Latvia EuropeanMonetaryUnion) Government.kif 3140-3140 Latvia is a member of european monetary union
(member Lithuania EuropeanMonetaryUnion) Government.kif 3141-3141 Lithuania is a member of european monetary union
(member Luxembourg BeneluxEconomicUnion) Government.kif 2836-2836 Luxembourg is a member of benelux economic union
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3142-3142 Luxembourg is a member of european monetary union
(member Malta EuropeanMonetaryUnion) Government.kif 3143-3143 Malta is a member of european monetary union
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2596-2596 Midway islands is a member of UnitedStatesMinorOutlyingIslands
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2592-2592 Navassa island is a member of UnitedStatesMinorOutlyingIslands
(member Netherlands BeneluxEconomicUnion) Government.kif 2835-2835 Netherlands is a member of benelux economic union
(member Netherlands EuropeanMonetaryUnion) Government.kif 3144-3144 Netherlands is a member of european monetary union

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