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 1211-1213
(domain member 1 Physical) Merge.kif 1206-1206 组员 的 1 数量 是 物理instance
(domain member 2 Collection) Merge.kif 1207-1207 组员 的 2 数量 是 群体instance
(instance member AsymmetricRelation) Merge.kif 1203-1203 组员非对称关系instance
(instance member BinaryPredicate) Merge.kif 1204-1204 组员二元谓语instance
(instance member IntransitiveRelation) Merge.kif 1205-1205 组员非传递关系instance
(relatedInternalConcept member element) Merge.kif 1209-1209 组员元素 是 内部相关
(relatedInternalConcept member instance) Merge.kif 1208-1208 组员实例 是 内部相关

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 在组织中关联组员subrelation
(subrelation groupMember member) Mid-level-ontology.kif 7206-7206 小组成员组员subrelation
(subrelation student member) Mid-level-ontology.kif 16066-16066 student组员subrelation
(subrelation teacher member) Mid-level-ontology.kif 16137-16137 teacher组员subrelation
(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 3579-3581 物理国际红十字和红新月运动member 若且唯若 那个 物理国际红十字会和红新月会联合会member
(=>
    (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 7214-7221
(=>
    (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 3199-3203
(=>
    (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 22771-22781
(=>
    (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 21658-21666
(=>
    (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 信仰团体member 客体attribute 若且唯若 那个 客体那个 信仰团体member
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 709-711 不可知 客体attribute 若且唯若 那个 客体不可知论member
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))
People.kif 1354-1356 Ahmadiyya穆斯林 客体attribute 若且唯若 那个 客体ahmadiyya教派member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1232-1234 英国国教 客体attribute 若且唯若 那个 客体英国国教member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1240-1242 英国国教 客体attribute 若且唯若 那个 客体英格兰教堂member
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))
People.kif 727-729 无神论者 客体attribute 若且唯若 那个 客体无神论member
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 764-766 巴哈 客体attribute 若且唯若 那个 客体巴哈主义member
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))
People.kif 776-778 佛教徒 客体attribute 若且唯若 那个 客体佛教member
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1313-1315 客体attribute 若且唯若 那个 客体member
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1368-1370 德鲁兹穆斯林 客体attribute 若且唯若 那个 客体德鲁兹教派member
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1254-1256 东正教基督教 客体attribute 若且唯若 那个 客体东正教基督教member
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1325-1327 印度教 客体attribute 若且唯若 那个 客体印度教member
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1418-1420 耆那教 客体attribute 若且唯若 那个 客体耆那教member
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1337-1339 穆斯林 客体attribute 若且唯若 那个 客体伊斯兰教member
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1464-1466 Neopaganismist 客体attribute 若且唯若 那个 客体neopaganismmember
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1268-1270 新教 客体attribute 若且唯若 那个 客体新教member
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1435-1437 宗教的犹太人 客体attribute 若且唯若 那个 客体犹太教member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1290-1292 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教会member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1282-1284 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教member
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1384-1386 什叶派穆斯林 客体attribute 若且唯若 那个 客体什叶派member
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1479-1481 神道教 客体attribute 若且唯若 那个 客体神道member
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1494-1496 锡克教 客体attribute 若且唯若 那个 客体锡克教member
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1403-1405 逊尼派穆斯林 客体attribute 若且唯若 那个 客体逊尼派member
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))
People.kif 1509-1511 客体attribute 若且唯若 那个 客体道教member
(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))
People.kif 1524-1526 拜火教 客体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 3195-3195 丹麦 不 是 欧洲货币联盟member
(not
    (member Sweden EuropeanMonetaryUnion))
Government.kif 3196-3196 瑞典 不 是 欧洲货币联盟member
(not
    (member UnitedKingdom EuropeanMonetaryUnion))
Government.kif 3197-3197 英国 不 是 欧洲货币联盟member

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


(member Austria EuropeanMonetaryUnion) Government.kif 3175-3175 奥地利欧洲货币联盟member
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2600-2600 贝克岛UnitedStatesMinorOutlyingIslandsmember
(member Belgium BeneluxEconomicUnion) Government.kif 2879-2879 比利时比荷卢经济联盟member
(member Belgium EuropeanMonetaryUnion) Government.kif 3176-3176 比利时欧洲货币联盟member
(member Cyprus EuropeanMonetaryUnion) Government.kif 3177-3177 塞浦路斯欧洲货币联盟member
(member Estonia EuropeanMonetaryUnion) Government.kif 3178-3178 爱沙尼亚欧洲货币联盟member
(member Finland EuropeanMonetaryUnion) Government.kif 3179-3179 芬兰欧洲货币联盟member
(member France EuropeanMonetaryUnion) Government.kif 3180-3180 法国欧洲货币联盟member
(member Germany EuropeanMonetaryUnion) Government.kif 3181-3181 德国欧洲货币联盟member
(member Greece EuropeanMonetaryUnion) Government.kif 3182-3182 希腊欧洲货币联盟member
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2601-2601 Howland岛UnitedStatesMinorOutlyingIslandsmember
(member Ireland EuropeanMonetaryUnion) Government.kif 3183-3183 爱尔兰欧洲货币联盟member
(member Italy EuropeanMonetaryUnion) Government.kif 3184-3184 意大利欧洲货币联盟member
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2602-2602 贾维斯岛UnitedStatesMinorOutlyingIslandsmember
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2607-2607 约翰斯顿环礁UnitedStatesMinorOutlyingIslandsmember
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2603-2603 金曼礁UnitedStatesMinorOutlyingIslandsmember
(member Latvia EuropeanMonetaryUnion) Government.kif 3185-3185 拉脱维亚欧洲货币联盟member
(member Lithuania EuropeanMonetaryUnion) Government.kif 3186-3186 立陶宛欧洲货币联盟member
(member Luxembourg BeneluxEconomicUnion) Government.kif 2881-2881 卢森堡比荷卢经济联盟member
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3187-3187 卢森堡欧洲货币联盟member
(member Malta EuropeanMonetaryUnion) Government.kif 3188-3188 马耳他欧洲货币联盟member
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2608-2608 中途岛屿UnitedStatesMinorOutlyingIslandsmember
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2604-2604 纳瓦萨岛UnitedStatesMinorOutlyingIslandsmember
(member Netherlands BeneluxEconomicUnion) Government.kif 2880-2880 荷兰比荷卢经济联盟member
(member Netherlands EuropeanMonetaryUnion) Government.kif 3189-3189 荷兰欧洲货币联盟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 3.0 is open source software produced by Articulate Software and its partners