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 相同部分的专业常识概念。例如： 羊群中的每只羊，跟羊群间，是成员关系。") 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 domain member, 1 and オブジェクト
(domain member 2 Collection) Merge.kif 1314-1314 domain member, 2 and コレクション
(instance member AsymmetricRelation) Merge.kif 1311-1311 instance member and 非対称関係
(instance member IntransitiveRelation) Merge.kif 1312-1312 instance member and 非推移関係
(relatedInternalConcept member element) Merge.kif 1316-1316 relatedInternalConcept member and element
(relatedInternalConcept member instance) Merge.kif 1315-1315 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 103-103
(subrelation associateInOrganization member) Government.kif 2373-2373 subrelation associateInOrganization and member
(subrelation groupMember member) Mid-level-ontology.kif 7262-7262 subrelation groupMember and member
(subrelation student member) Mid-level-ontology.kif 14388-14388 subrelation student and member
(subrelation teacher member) Mid-level-ontology.kif 14419-14419 subrelation teacher and member
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154 termFormat ChineseLanguage, member and "组员"
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 6585-6585 termFormat EnglishLanguage, member and "member"

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))		 Government.kif 3540-3542 member オブジェクト and InternationalRedCrossAndRedCrescentMovement member オブジェクト and InternationalFederationOfRedCrossAndRedCrescentSocieties
(=>
    (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 オブジェクト and エンティティー instance エンティティー and Christian member オブジェクト and Christianity
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))		 People.kif 678-680 attribute オブジェクト and BeliefGroupMemberFn BeliefGroup member オブジェクト and BeliefGroup
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 704-706 attribute オブジェクト and Agnostic member オブジェクト and Agnosticism
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1348-1350 attribute オブジェクト and AhmadiyyaMuslim member オブジェクト and AhmadiyyaSect
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1227-1229 attribute オブジェクト and Anglican member オブジェクト and Anglicanism
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1235-1237 attribute オブジェクト and Anglican member オブジェクト and ChurchOfEngland
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 722-724 attribute オブジェクト and Atheist member オブジェクト and Atheism
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 759-761 attribute オブジェクト and Bahai member オブジェクト and Bahaism
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 771-773 attribute オブジェクト and Buddhist member オブジェクト and Buddhism
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1308-1310 attribute オブジェクト and Confucianist member オブジェクト and Confucianism
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1361-1363 attribute オブジェクト and DruzeMuslim member オブジェクト and DruzeSect
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1249-1251 attribute オブジェクト and EasternOrthodoxChristian member オブジェクト and EasternOrthodoxChristianity
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1320-1322 attribute オブジェクト and Hindu member オブジェクト and Hinduism
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1409-1411 attribute オブジェクト and Jain member オブジェクト and Jainism
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1332-1334 attribute オブジェクト and Muslim member オブジェクト and Islam
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1455-1457 attribute オブジェクト and Neopaganismist member オブジェクト and Neopaganism
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1263-1265 attribute オブジェクト and Protestant member オブジェクト and Protestantism
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1426-1428 attribute オブジェクト and ReligiousJew member オブジェクト and Judaism
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1285-1287 attribute オブジェクト and RomanCatholic member オブジェクト and RomanCatholicChurch
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1277-1279 attribute オブジェクト and RomanCatholic member オブジェクト and RomanCatholicism
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1376-1378 attribute オブジェクト and ShiaMuslim member オブジェクト and ShiiteSect
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))		 People.kif 1470-1472 attribute オブジェクト and Shintoist member オブジェクト and Shinto
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))		 People.kif 1485-1487 attribute オブジェクト and Sikh member オブジェクト and Sikhism
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))		 People.kif 1394-1396 attribute オブジェクト and SunniMuslim member オブジェクト and SunniSect
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))		 People.kif 1500-1502 attribute オブジェクト and Taoist member オブジェクト 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 時間間隔 instance 時間間隔 and 時間間隔 finishes 時間間隔 and WhenFn JesusOfNazareth starts 時間間隔 and WhenFn TwelveApostles エンティティー
(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3156-3156 member Denmark and EuropeanMonetaryUnion
(not
    (member Sweden EuropeanMonetaryUnion))		 Government.kif 3157-3157 member Sweden and EuropeanMonetaryUnion
(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3158-3158 member UnitedKingdom and EuropeanMonetaryUnion

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


(member Austria EuropeanMonetaryUnion) Government.kif 3136-3136 member Austria and EuropeanMonetaryUnion
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2588-2588 member BakerIsland and UnitedStatesMinorOutlyingIslands
(member Belgium BeneluxEconomicUnion) Government.kif 2840-2840 member Belgium and BeneluxEconomicUnion
(member Belgium EuropeanMonetaryUnion) Government.kif 3137-3137 member Belgium and EuropeanMonetaryUnion
(member Cyprus EuropeanMonetaryUnion) Government.kif 3138-3138 member Cyprus and EuropeanMonetaryUnion
(member Estonia EuropeanMonetaryUnion) Government.kif 3139-3139 member Estonia and EuropeanMonetaryUnion
(member Finland EuropeanMonetaryUnion) Government.kif 3140-3140 member Finland and EuropeanMonetaryUnion
(member France EuropeanMonetaryUnion) Government.kif 3141-3141 member France and EuropeanMonetaryUnion
(member Germany EuropeanMonetaryUnion) Government.kif 3142-3142 member Germany and EuropeanMonetaryUnion
(member Greece EuropeanMonetaryUnion) Government.kif 3143-3143 member Greece and EuropeanMonetaryUnion
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2589-2589 member HowlandIsland and UnitedStatesMinorOutlyingIslands
(member Ireland EuropeanMonetaryUnion) Government.kif 3144-3144 member Ireland and EuropeanMonetaryUnion
(member Italy EuropeanMonetaryUnion) Government.kif 3145-3145 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 3146-3146 member Latvia and EuropeanMonetaryUnion
(member Lithuania EuropeanMonetaryUnion) Government.kif 3147-3147 member Lithuania and EuropeanMonetaryUnion
(member Luxembourg BeneluxEconomicUnion) Government.kif 2842-2842 member Luxembourg and BeneluxEconomicUnion
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3148-3148 member Luxembourg and EuropeanMonetaryUnion
(member Malta EuropeanMonetaryUnion) Government.kif 3149-3149 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 2841-2841 member Netherlands and BeneluxEconomicUnion
(member Netherlands EuropeanMonetaryUnion) Government.kif 3150-3150 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