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 1255-1257
(domain member 1 Physical) Merge.kif 1250-1250 组员 的 1 数量 是 物理instance
(domain member 2 Collection) Merge.kif 1251-1251 组员 的 2 数量 是 群体instance
(instance member AsymmetricRelation) Merge.kif 1247-1247 组员非对称关系instance
(instance member BinaryPredicate) Merge.kif 1248-1248 组员二元谓语instance
(instance member IntransitiveRelation) Merge.kif 1249-1249 组员非传递关系instance
(relatedInternalConcept member element) Merge.kif 1253-1253 组员元素 是 内部相关
(relatedInternalConcept member instance) Merge.kif 1252-1252 组员实例 是 内部相关

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 2426-2426 在组织中关联组员subrelation
(subrelation groupMember member) Mid-level-ontology.kif 7513-7513 小组成员组员subrelation
(subrelation student member) Mid-level-ontology.kif 16633-16633 student组员subrelation
(subrelation teacher member) Mid-level-ontology.kif 16705-16705 teacher组员subrelation
(termFormat ChineseLanguage member "会员") domainEnglishFormat.kif 36977-36977
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154
(termFormat ChineseTraditionalLanguage member "會員") domainEnglishFormat.kif 36976-36976
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 36975-36975

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))
Government.kif 3603-3605 物理国际红十字和红新月运动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 2785-2789
(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))
UXExperimentalTerms.kif 2865-2869
(=>
    (and
        (equal ?X
            (ABPFn ?BUYINGS))
        (member ?BUYING ?BUYINGS))
    (instance ?BUYING Buying))
UXExperimentalTerms.kif 3437-3441
(=>
    (and
        (equal ?X
            (ASPFn ?SELLINGS))
        (member ?SELLING ?SELLINGS))
    (instance ?SELLING Selling))
UXExperimentalTerms.kif 3482-3486
(=>
    (and
        (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING)
        (member ?PROCESS ?COLLECTION))
    (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4249-4253
(=>
    (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 3740-3749
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER AutonomousAgent))
UXExperimentalTerms.kif 3734-3738
(=>
    (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 3751-3761
(=>
    (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 3788-3797
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER AutonomousAgent))
UXExperimentalTerms.kif 3782-3786
(=>
    (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 3799-3809
(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))
Media.kif 3207-3212
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))
Mid-level-ontology.kif 7521-7528
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1767-1772
(=>
    (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 3223-3227
(=>
    (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 23443-23453
(=>
    (and
        (instance ?AUCTIONS Collection)
        (forall (?AUC)
            (=>
                (member ?AUC ?AUCTIONS)
                (instance ?AUC Auctioning))))
    (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
        (and
            (total
                (KappaFn ?AMOUNT
                    (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
            (equal
                (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3408-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 ?BUYING ?ITEM))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))
UXExperimentalTerms.kif 3445-3465
(=>
    (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 22296-22304
(=>
    (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 702-704 信仰团体member 客体attribute 若且唯若 那个 客体那个 信仰团体member
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 728-730 不可知 客体attribute 若且唯若 那个 客体不可知论member
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))
People.kif 1373-1375 Ahmadiyya穆斯林 客体attribute 若且唯若 那个 客体ahmadiyya教派member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1251-1253 英国国教 客体attribute 若且唯若 那个 客体英国国教member
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1259-1261 英国国教 客体attribute 若且唯若 那个 客体英格兰教堂member
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))
People.kif 746-748 无神论者 客体attribute 若且唯若 那个 客体无神论member
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 783-785 巴哈 客体attribute 若且唯若 那个 客体巴哈主义member
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))
People.kif 795-797 佛教徒 客体attribute 若且唯若 那个 客体佛教member
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1332-1334 客体attribute 若且唯若 那个 客体member
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1387-1389 德鲁兹穆斯林 客体attribute 若且唯若 那个 客体德鲁兹教派member
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1273-1275 东正教基督教 客体attribute 若且唯若 那个 客体东正教基督教member
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1344-1346 印度教 客体attribute 若且唯若 那个 客体印度教member
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1437-1439 耆那教 客体attribute 若且唯若 那个 客体耆那教member
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1356-1358 穆斯林 客体attribute 若且唯若 那个 客体伊斯兰教member
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1483-1485 Neopaganismist 客体attribute 若且唯若 那个 客体neopaganismmember
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1287-1289 新教 客体attribute 若且唯若 那个 客体新教member
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1454-1456 宗教的犹太人 客体attribute 若且唯若 那个 客体犹太教member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1309-1311 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教会member
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1301-1303 罗马天主教徒 客体attribute 若且唯若 那个 客体罗马天主教member
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1403-1405 什叶派穆斯林 客体attribute 若且唯若 那个 客体什叶派member
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1498-1500 神道教 客体attribute 若且唯若 那个 客体神道member
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1513-1515 锡克教 客体attribute 若且唯若 那个 客体锡克教member
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1422-1424 逊尼派穆斯林 客体attribute 若且唯若 那个 客体逊尼派member
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))
People.kif 1528-1530 客体attribute 若且唯若 那个 客体道教member
(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))
People.kif 1543-1545 拜火教 客体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 1970-1978 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
(not
    (member Denmark EuropeanMonetaryUnion))
Government.kif 3219-3219 丹麦 不 是 欧洲货币联盟member
(not
    (member Sweden EuropeanMonetaryUnion))
Government.kif 3220-3220 瑞典 不 是 欧洲货币联盟member
(not
    (member UnitedKingdom EuropeanMonetaryUnion))
Government.kif 3221-3221 英国 不 是 欧洲货币联盟member

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


(member Austria EuropeanMonetaryUnion) Government.kif 3199-3199 奥地利欧洲货币联盟member
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2618-2618 贝克岛UnitedStatesMinorOutlyingIslandsmember
(member Belgium BeneluxEconomicUnion) Government.kif 2903-2903 比利时比荷卢经济联盟member
(member Belgium EuropeanMonetaryUnion) Government.kif 3200-3200 比利时欧洲货币联盟member
(member Cyprus EuropeanMonetaryUnion) Government.kif 3201-3201 塞浦路斯欧洲货币联盟member
(member Estonia EuropeanMonetaryUnion) Government.kif 3202-3202 爱沙尼亚欧洲货币联盟member
(member Finland EuropeanMonetaryUnion) Government.kif 3203-3203 芬兰欧洲货币联盟member
(member France EuropeanMonetaryUnion) Government.kif 3204-3204 法国欧洲货币联盟member
(member Germany EuropeanMonetaryUnion) Government.kif 3205-3205 德国欧洲货币联盟member
(member Greece EuropeanMonetaryUnion) Government.kif 3206-3206 希腊欧洲货币联盟member
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2619-2619 Howland岛UnitedStatesMinorOutlyingIslandsmember
(member Ireland EuropeanMonetaryUnion) Government.kif 3207-3207 爱尔兰欧洲货币联盟member
(member Italy EuropeanMonetaryUnion) Government.kif 3208-3208 意大利欧洲货币联盟member
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 贾维斯岛UnitedStatesMinorOutlyingIslandsmember
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2625-2625 约翰斯顿环礁UnitedStatesMinorOutlyingIslandsmember
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 金曼礁UnitedStatesMinorOutlyingIslandsmember
(member Latvia EuropeanMonetaryUnion) Government.kif 3209-3209 拉脱维亚欧洲货币联盟member
(member Lithuania EuropeanMonetaryUnion) Government.kif 3210-3210 立陶宛欧洲货币联盟member
(member Luxembourg BeneluxEconomicUnion) Government.kif 2905-2905 卢森堡比荷卢经济联盟member
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3211-3211 卢森堡欧洲货币联盟member
(member Malta EuropeanMonetaryUnion) Government.kif 3212-3212 马耳他欧洲货币联盟member
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2626-2626 中途岛屿UnitedStatesMinorOutlyingIslandsmember
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 纳瓦萨岛UnitedStatesMinorOutlyingIslandsmember
(member Netherlands BeneluxEconomicUnion) Government.kif 2904-2904 荷兰比荷卢经济联盟member
(member Netherlands EuropeanMonetaryUnion) Government.kif 3213-3213 荷兰欧洲货币联盟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