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 1177-1179
(domain member 1 Object) Merge.kif 1172-1172 组员 的 1 数量 是 客体instance
(domain member 2 Collection) Merge.kif 1173-1173 组员 的 2 数量 是 群体instance
(instance member AsymmetricRelation) Merge.kif 1170-1170 组员非对称关系instance
(instance member IntransitiveRelation) Merge.kif 1171-1171 组员非传递关系instance
(relatedInternalConcept member element) Merge.kif 1175-1175 组员元素 是 内部相关
(relatedInternalConcept member instance) Merge.kif 1174-1174 组员实例 是 内部相关

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
(subrelation groupMember member) Mid-level-ontology.kif 7264-7264 小组成员组员subrelation
(subrelation student member) Mid-level-ontology.kif 14389-14389 student组员subrelation
(subrelation teacher member) Mid-level-ontology.kif 14420-14420 teacher组员subrelation
(termFormat ChineseLanguage member "会员") domainEnglishFormat.kif 36889-36889
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154
(termFormat ChineseTraditionalLanguage member "會員") domainEnglishFormat.kif 36888-36888
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 36887-36887

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))
Government.kif 3534-3536 客体国际红十字和红新月运动member 若且唯若 那个 客体国际红十字会和红新月会联合会member
(=>
    (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 7272-7279
(=>
    (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 21418-21428
(=>
    (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 20204-20212
(=>
    (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那个 属性基督教instance 若且唯若 那个 客体基督教member
(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))
People.kif 678-680 信仰团体member 客体attribute 若且唯若 那个 客体那个 信仰团体member
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 704-706 不可知 客体attribute 若且唯若 那个 客体不可知论member
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))
People.kif 1349-1351 Ahmadiyya穆斯林 客体attribute 若且唯若 那个 客体ahmadiyya教派member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1227-1229 英国国教 客体attribute 若且唯若 那个 客体英国国教member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1235-1237 英国国教 客体attribute 若且唯若 那个 客体英格兰教堂member
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))
People.kif 722-724 无神论者 客体attribute 若且唯若 那个 客体无神论member
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 759-761 巴哈 客体attribute 若且唯若 那个 客体巴哈主义member
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))
People.kif 771-773 佛教徒 客体attribute 若且唯若 那个 客体佛教member
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1308-1310 客体attribute 若且唯若 那个 客体member
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1363-1365 德鲁兹穆斯林 客体attribute 若且唯若 那个 客体德鲁兹教派member
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1249-1251 东正教基督教 客体attribute 若且唯若 那个 客体东正教基督教member
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1320-1322 印度教 客体attribute 若且唯若 那个 客体印度教member
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1413-1415 耆那教 客体attribute 若且唯若 那个 客体耆那教member
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1332-1334 穆斯林 客体attribute 若且唯若 那个 客体伊斯兰教member
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1459-1461 Neopaganismist 客体attribute 若且唯若 那个 客体neopaganismmember
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1263-1265 新教 客体attribute 若且唯若 那个 客体新教member
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1430-1432 宗教的犹太人 客体attribute 若且唯若 那个 客体犹太教member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1285-1287 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教会member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1277-1279 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教member
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1379-1381 什叶派穆斯林 客体attribute 若且唯若 那个 客体什叶派member
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1474-1476 神道教 客体attribute 若且唯若 那个 客体神道member
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1489-1491 锡克教 客体attribute 若且唯若 那个 客体锡克教member
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1398-1400 逊尼派穆斯林 客体attribute 若且唯若 那个 客体逊尼派member
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))
People.kif 1504-1506 客体attribute 若且唯若 那个 客体道教member

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 3150-3150 丹麦 不 是 欧洲货币联盟member
(not
    (member Sweden EuropeanMonetaryUnion))
Government.kif 3151-3151 瑞典 不 是 欧洲货币联盟member
(not
    (member UnitedKingdom EuropeanMonetaryUnion))
Government.kif 3152-3152 英国 不 是 欧洲货币联盟member

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


(member Austria EuropeanMonetaryUnion) Government.kif 3130-3130 奥地利欧洲货币联盟member
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2588-2588 贝克岛UnitedStatesMinorOutlyingIslandsmember
(member Belgium BeneluxEconomicUnion) Government.kif 2834-2834 比利时比荷卢经济联盟member
(member Belgium EuropeanMonetaryUnion) Government.kif 3131-3131 比利时欧洲货币联盟member
(member Cyprus EuropeanMonetaryUnion) Government.kif 3132-3132 塞浦路斯欧洲货币联盟member
(member Estonia EuropeanMonetaryUnion) Government.kif 3133-3133 爱沙尼亚欧洲货币联盟member
(member Finland EuropeanMonetaryUnion) Government.kif 3134-3134 芬兰欧洲货币联盟member
(member France EuropeanMonetaryUnion) Government.kif 3135-3135 法国欧洲货币联盟member
(member Germany EuropeanMonetaryUnion) Government.kif 3136-3136 德国欧洲货币联盟member
(member Greece EuropeanMonetaryUnion) Government.kif 3137-3137 希腊欧洲货币联盟member
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2589-2589 Howland岛UnitedStatesMinorOutlyingIslandsmember
(member Ireland EuropeanMonetaryUnion) Government.kif 3138-3138 爱尔兰欧洲货币联盟member
(member Italy EuropeanMonetaryUnion) Government.kif 3139-3139 意大利欧洲货币联盟member
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2590-2590 贾维斯岛UnitedStatesMinorOutlyingIslandsmember
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2595-2595 约翰斯顿环礁UnitedStatesMinorOutlyingIslandsmember
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2591-2591 金曼礁UnitedStatesMinorOutlyingIslandsmember
(member Latvia EuropeanMonetaryUnion) Government.kif 3140-3140 拉脱维亚欧洲货币联盟member
(member Lithuania EuropeanMonetaryUnion) Government.kif 3141-3141 立陶宛欧洲货币联盟member
(member Luxembourg BeneluxEconomicUnion) Government.kif 2836-2836 卢森堡比荷卢经济联盟member
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3142-3142 卢森堡欧洲货币联盟member
(member Malta EuropeanMonetaryUnion) Government.kif 3143-3143 马耳他欧洲货币联盟member
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2596-2596 中途岛屿UnitedStatesMinorOutlyingIslandsmember
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2592-2592 纳瓦萨岛UnitedStatesMinorOutlyingIslandsmember
(member Netherlands BeneluxEconomicUnion) Government.kif 2835-2835 荷兰比荷卢经济联盟member
(member Netherlands EuropeanMonetaryUnion) Government.kif 3144-3144 荷兰欧洲货币联盟member

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