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 1236-1238
(domain member 1 Physical) Merge.kif 1231-1231 组员 的 1 数量 是 物理instance
(domain member 2 Collection) Merge.kif 1232-1232 组员 的 2 数量 是 群体instance
(instance member AsymmetricRelation) Merge.kif 1228-1228 组员非对称关系instance
(instance member BinaryPredicate) Merge.kif 1229-1229 组员二元谓语instance
(instance member IntransitiveRelation) Merge.kif 1230-1230 组员非传递关系instance
(relatedInternalConcept member element) Merge.kif 1234-1234 组员元素 是 内部相关
(relatedInternalConcept member instance) Merge.kif 1233-1233 组员实例 是 内部相关

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 2411-2411 在组织中关联组员subrelation
(subrelation groupMember member) Mid-level-ontology.kif 7230-7230 小组成员组员subrelation
(subrelation student member) Mid-level-ontology.kif 16211-16211 student组员subrelation
(subrelation teacher member) Mid-level-ontology.kif 16282-16282 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 3583-3585 物理国际红十字和红新月运动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 3195-3200
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))
Mid-level-ontology.kif 7238-7245
(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1752-1757
(=>
    (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 3203-3207
(=>
    (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 22917-22927
(=>
    (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 21804-21812
(=>
    (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 686-688 信仰团体member 客体attribute 若且唯若 那个 客体那个 信仰团体member
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 712-714 不可知 客体attribute 若且唯若 那个 客体不可知论member
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))
People.kif 1357-1359 Ahmadiyya穆斯林 客体attribute 若且唯若 那个 客体ahmadiyya教派member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1235-1237 英国国教 客体attribute 若且唯若 那个 客体英国国教member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1243-1245 英国国教 客体attribute 若且唯若 那个 客体英格兰教堂member
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))
People.kif 730-732 无神论者 客体attribute 若且唯若 那个 客体无神论member
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 767-769 巴哈 客体attribute 若且唯若 那个 客体巴哈主义member
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))
People.kif 779-781 佛教徒 客体attribute 若且唯若 那个 客体佛教member
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1316-1318 客体attribute 若且唯若 那个 客体member
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1371-1373 德鲁兹穆斯林 客体attribute 若且唯若 那个 客体德鲁兹教派member
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1257-1259 东正教基督教 客体attribute 若且唯若 那个 客体东正教基督教member
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1328-1330 印度教 客体attribute 若且唯若 那个 客体印度教member
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1421-1423 耆那教 客体attribute 若且唯若 那个 客体耆那教member
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1340-1342 穆斯林 客体attribute 若且唯若 那个 客体伊斯兰教member
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1467-1469 Neopaganismist 客体attribute 若且唯若 那个 客体neopaganismmember
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1271-1273 新教 客体attribute 若且唯若 那个 客体新教member
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1438-1440 宗教的犹太人 客体attribute 若且唯若 那个 客体犹太教member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1293-1295 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教会member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1285-1287 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教member
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1387-1389 什叶派穆斯林 客体attribute 若且唯若 那个 客体什叶派member
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1482-1484 神道教 客体attribute 若且唯若 那个 客体神道member
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1497-1499 锡克教 客体attribute 若且唯若 那个 客体锡克教member
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1406-1408 逊尼派穆斯林 客体attribute 若且唯若 那个 客体逊尼派member
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))
People.kif 1512-1514 客体attribute 若且唯若 那个 客体道教member
(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))
People.kif 1527-1529 拜火教 客体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 1968-1976 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
(not
    (member Denmark EuropeanMonetaryUnion))
Government.kif 3199-3199 丹麦 不 是 欧洲货币联盟member
(not
    (member Sweden EuropeanMonetaryUnion))
Government.kif 3200-3200 瑞典 不 是 欧洲货币联盟member
(not
    (member UnitedKingdom EuropeanMonetaryUnion))
Government.kif 3201-3201 英国 不 是 欧洲货币联盟member

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


(member Austria EuropeanMonetaryUnion) Government.kif 3179-3179 奥地利欧洲货币联盟member
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2606-2606 贝克岛UnitedStatesMinorOutlyingIslandsmember
(member Belgium BeneluxEconomicUnion) Government.kif 2883-2883 比利时比荷卢经济联盟member
(member Belgium EuropeanMonetaryUnion) Government.kif 3180-3180 比利时欧洲货币联盟member
(member Cyprus EuropeanMonetaryUnion) Government.kif 3181-3181 塞浦路斯欧洲货币联盟member
(member Estonia EuropeanMonetaryUnion) Government.kif 3182-3182 爱沙尼亚欧洲货币联盟member
(member Finland EuropeanMonetaryUnion) Government.kif 3183-3183 芬兰欧洲货币联盟member
(member France EuropeanMonetaryUnion) Government.kif 3184-3184 法国欧洲货币联盟member
(member Germany EuropeanMonetaryUnion) Government.kif 3185-3185 德国欧洲货币联盟member
(member Greece EuropeanMonetaryUnion) Government.kif 3186-3186 希腊欧洲货币联盟member
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2607-2607 Howland岛UnitedStatesMinorOutlyingIslandsmember
(member Ireland EuropeanMonetaryUnion) Government.kif 3187-3187 爱尔兰欧洲货币联盟member
(member Italy EuropeanMonetaryUnion) Government.kif 3188-3188 意大利欧洲货币联盟member
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2608-2608 贾维斯岛UnitedStatesMinorOutlyingIslandsmember
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2613-2613 约翰斯顿环礁UnitedStatesMinorOutlyingIslandsmember
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2609-2609 金曼礁UnitedStatesMinorOutlyingIslandsmember
(member Latvia EuropeanMonetaryUnion) Government.kif 3189-3189 拉脱维亚欧洲货币联盟member
(member Lithuania EuropeanMonetaryUnion) Government.kif 3190-3190 立陶宛欧洲货币联盟member
(member Luxembourg BeneluxEconomicUnion) Government.kif 2885-2885 卢森堡比荷卢经济联盟member
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3191-3191 卢森堡欧洲货币联盟member
(member Malta EuropeanMonetaryUnion) Government.kif 3192-3192 马耳他欧洲货币联盟member
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2614-2614 中途岛屿UnitedStatesMinorOutlyingIslandsmember
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2610-2610 纳瓦萨岛UnitedStatesMinorOutlyingIslandsmember
(member Netherlands BeneluxEconomicUnion) Government.kif 2884-2884 荷兰比荷卢经济联盟member
(member Netherlands EuropeanMonetaryUnion) Government.kif 3193-3193 荷兰欧洲货币联盟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