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 相同部分的专业常识概念。例如: 羊群中的每只羊,跟羊群间,是成员关系。") 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 1210-1212
(domain member 1 Physical) Merge.kif 1205-1205 The number 1 argument of member is an instance of physical
(domain member 2 Collection) Merge.kif 1206-1206 The number 2 argument of member is an instance of collection
(instance member AsymmetricRelation) Merge.kif 1202-1202 member is an instance of asymmetric relation
(instance member BinaryPredicate) Merge.kif 1203-1203 member is an instance of binary predicate
(instance member IntransitiveRelation) Merge.kif 1204-1204 member is an instance of intransitive relation
(relatedInternalConcept member element) Merge.kif 1208-1208 member is internally related to element
(relatedInternalConcept member instance) Merge.kif 1207-1207 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 154-154
(subrelation associateInOrganization member) Government.kif 2412-2412 associate in organization is a subrelation of member
(subrelation groupMember member) Mid-level-ontology.kif 7204-7204 group member is a subrelation of member
(subrelation student member) Mid-level-ontology.kif 16184-16184 student is a subrelation of member
(subrelation teacher member) Mid-level-ontology.kif 16255-16255 teacher is a subrelation of member
(termFormat ChineseLanguage member "会员") domainEnglishFormat.kif 36978-36978
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154
(termFormat ChineseTraditionalLanguage member "會員") domainEnglishFormat.kif 36977-36977
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 36976-36976

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))
Government.kif 3584-3586 A physical is a member of international red cross and red crescent movement if and only if the physical is a member of international federation of red cross and red crescent societies
(=>
    (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 2789-2793
(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))
UXExperimentalTerms.kif 2869-2873
(=>
    (and
        (equal ?X
            (ABPFn ?BUYINGS))
        (member ?BUYING ?BUYINGS))
    (instance ?BUYING Buying))
UXExperimentalTerms.kif 3441-3445
(=>
    (and
        (equal ?X
            (ASPFn ?SELLINGS))
        (member ?SELLING ?SELLINGS))
    (instance ?SELLING Selling))
UXExperimentalTerms.kif 3484-3488
(=>
    (and
        (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING)
        (member ?PROCESS ?COLLECTION))
    (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4250-4254
(=>
    (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 3742-3751
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER Agent))
UXExperimentalTerms.kif 3736-3740
(=>
    (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 3753-3763
(=>
    (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 3790-3799
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER Agent))
UXExperimentalTerms.kif 3784-3788
(=>
    (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 3801-3811
(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))
Media.kif 3189-3194
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))
Mid-level-ontology.kif 7212-7219
(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1753-1758
(=>
    (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 3204-3208
(=>
    (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 22889-22899
(=>
    (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 3409-3424
(=>
    (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 3447-3467
(=>
    (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 21776-21784
(=>
    (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
-------------------------


(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))
People.kif 683-685 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 709-711 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 1354-1356 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 1232-1234 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 1240-1242 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 727-729 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 764-766 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 776-778 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 1313-1315 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 1368-1370 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 1254-1256 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 1325-1327 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 1418-1420 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 1337-1339 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 1464-1466 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 1268-1270 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 1435-1437 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 1290-1292 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 1282-1284 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 1384-1386 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 1479-1481 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 1494-1496 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 1403-1405 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 1509-1511 Taoist is an attribute of an object if and only if the object is a member of taoism
(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))
People.kif 1524-1526 Zoroastrian is an attribute of an object if and only if the object is a member of zoroastrianism

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 3200-3200 Denmark is not a member of european monetary union
(not
    (member Sweden EuropeanMonetaryUnion))
Government.kif 3201-3201 Sweden is not a member of european monetary union
(not
    (member UnitedKingdom EuropeanMonetaryUnion))
Government.kif 3202-3202 United kingdom is not a member of european monetary union

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


(member Austria EuropeanMonetaryUnion) Government.kif 3180-3180 Austria is a member of european monetary union
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2600-2600 Baker island is a member of UnitedStatesMinorOutlyingIslands
(member Belgium BeneluxEconomicUnion) Government.kif 2884-2884 Belgium is a member of benelux economic union
(member Belgium EuropeanMonetaryUnion) Government.kif 3181-3181 Belgium is a member of european monetary union
(member Cyprus EuropeanMonetaryUnion) Government.kif 3182-3182 Cyprus is a member of european monetary union
(member Estonia EuropeanMonetaryUnion) Government.kif 3183-3183 Estonia is a member of european monetary union
(member Finland EuropeanMonetaryUnion) Government.kif 3184-3184 Finland is a member of european monetary union
(member France EuropeanMonetaryUnion) Government.kif 3185-3185 France is a member of european monetary union
(member Germany EuropeanMonetaryUnion) Government.kif 3186-3186 Germany is a member of european monetary union
(member Greece EuropeanMonetaryUnion) Government.kif 3187-3187 Greece is a member of european monetary union
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2601-2601 Howland island is a member of UnitedStatesMinorOutlyingIslands
(member Ireland EuropeanMonetaryUnion) Government.kif 3188-3188 Ireland is a member of european monetary union
(member Italy EuropeanMonetaryUnion) Government.kif 3189-3189 Italy is a member of european monetary union
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2602-2602 Jarvis island is a member of UnitedStatesMinorOutlyingIslands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2607-2607 Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2603-2603 Kingman reef is a member of UnitedStatesMinorOutlyingIslands
(member Latvia EuropeanMonetaryUnion) Government.kif 3190-3190 Latvia is a member of european monetary union
(member Lithuania EuropeanMonetaryUnion) Government.kif 3191-3191 Lithuania is a member of european monetary union
(member Luxembourg BeneluxEconomicUnion) Government.kif 2886-2886 Luxembourg is a member of benelux economic union
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3192-3192 Luxembourg is a member of european monetary union
(member Malta EuropeanMonetaryUnion) Government.kif 3193-3193 Malta is a member of european monetary union
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2608-2608 Midway islands is a member of UnitedStatesMinorOutlyingIslands
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2604-2604 Navassa island is a member of UnitedStatesMinorOutlyingIslands
(member Netherlands BeneluxEconomicUnion) Government.kif 2885-2885 Netherlands is a member of benelux economic union
(member Netherlands EuropeanMonetaryUnion) Government.kif 3194-3194 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 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 3.0 is open source software produced by Articulate Software and its partners