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 1279-1281
(documentation member JapaneseLanguage "Collections の均一パーツの専門常識の概念の部分。　 例えば、群れの各羊が、群れのメンバーとして関係を持つ、など。") japanese_format.kif 216-217
(documentation member SpanishLanguage "Una noción especializada de sentido común para las partes uniformes de Collections. Por ejemplo, cada oveja en un rebaño tendría la relación de «miembro» de rebaño.") spanish_format.kif 256-258
(domain member 1 Physical) Merge.kif 1274-1274 域 會員, 1 and Physical
(domain member 2 Collection) Merge.kif 1275-1275 域 會員, 2 and Collection
(instance member AsymmetricRelation) Merge.kif 1271-1271 例 會員 and AsymmetricRelation
(instance member BinaryPredicate) Merge.kif 1272-1272 例 會員 and BinaryPredicate
(instance member IntransitiveRelation) Merge.kif 1273-1273 例 會員 and IntransitiveRelation
(relatedInternalConcept member element) Merge.kif 1277-1277 相關的內部概念 會員 and 元件
(relatedInternalConcept member instance) Merge.kif 1276-1276 相關的內部概念 會員 and 例

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
(format FrenchLanguage member "%1 est %n un membre de %2") french_format.kif 97-97
(format ItalianLanguage member "%1 è %n un membro di %2") relations-it.txt 182-182
(format JapaneseLanguage member "%1 は %2 の member では %n") japanese_format.kif 1925-1925
(format PortugueseLanguage member "%1 e' %n membro de %2") portuguese_format.kif 49-49
(format cz member "%1 %p{je} %n{nen�} a �lenem %2") relations-cz.txt 69-69
(format de member "%1 ist ein Mitglied von %2 %n{nicht}") relations-de.txt 185-185
(format hi member "%1 %2 kaa sadasya %n hai") relations-hindi.txt 220-220
(format ro member "%1 %n{nu} este un member%t{membru} al lui %2") relations-ro.kif 116-116
(format sv member "%1 är %n{inte} en medlem av %2") relations-sv.txt 96-96
(format tg member "%1 %n ay ang kasapi ng %2") relations-tg.txt 358-358
(subrelation associateInOrganization member) Government.kif 2387-2387 子關係 在組織中關聯 and 會員
(subrelation groupMember member) Mid-level-ontology.kif 8721-8721 子關係 小組成員 and 會員
(subrelation student member) Mid-level-ontology.kif 18178-18178 子關係 student and 會員
(subrelation teacher member) Mid-level-ontology.kif 18250-18250 子關係 teacher and 會員
(termFormat ChineseLanguage member "会员") domainEnglishFormat.kif 36998-36998 子關係 teacher and 會員
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154 子關係 teacher and 會員
(termFormat ChineseTraditionalLanguage member "會員") domainEnglishFormat.kif 36997-36997 子關係 teacher and 會員
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 36996-36996 子關係 teacher and 會員
(termFormat de member "mitglied") terms-de.txt 57-57 子關係 teacher and 會員
(termFormat tg member "kasapi") relations-tg.txt 359-359 子關係 teacher and 會員

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))		 Government.kif 3564-3566 會員 Physical and 國際紅十字和紅新月運動 會員 Physical and 國際紅十字會和紅新月會聯合會
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))		 Economy.kif 506-510
(=>
    (and
        (businessUnit ?ORG ?BUSINESS)
        (member ?MEMBER ?ORG))
    (instance ?MEMBER Human))		 UXExperimentalTerms.kif 2579-2583
(=>
    (and
        (crossFunctionalTeamFocus ?FOCUS ?TEAM)
        (member ?MEMBER ?TEAM))
    (inScopeOfInterest ?MEMBER ?FOCUS))		 UXExperimentalTerms.kif 2659-2663
(=>
    (and
        (equal ?X
            (ABPFn ?BUYINGS))
        (member ?BUYING ?BUYINGS))
    (instance ?BUYING Buying))		 UXExperimentalTerms.kif 3231-3235
(=>
    (and
        (equal ?X
            (ASPFn ?SELLINGS))
        (member ?SELLING ?SELLINGS))
    (instance ?SELLING Selling))		 UXExperimentalTerms.kif 3276-3280
(=>
    (and
        (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING)
        (member ?PROCESS ?COLLECTION))
    (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))		 UXExperimentalTerms.kif 4043-4047
(=>
    (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 3534-3543
(=>
    (and
        (firstTimeBuyers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER AutonomousAgent))		 UXExperimentalTerms.kif 3528-3532
(=>
    (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 3545-3555
(=>
    (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 3582-3591
(=>
    (and
        (firstTimeSellers ?INT ?SITE ?COLL)
        (member ?MEMBER ?COLL))
    (instance ?MEMBER AutonomousAgent))		 UXExperimentalTerms.kif 3576-3580
(=>
    (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 3593-3603
(=>
    (and
        (fleetDeadWeightTonnage ?FLEET
            (MeasureFn ?T LongTon))
        (vesselDeadWeightTonnage ?VESSEL
            (MeasureFn ?X LongTon))
        (member ?VESSEL ?FLEET))
    (exists (?L)
        (and
            (instance ?L List)
            (inList ?X ?L)
            (equal ?T
                (ListSumFn ?L)))))		 Transportation.kif 2738-2748
(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))		 Media.kif 3191-3196
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))		 Mid-level-ontology.kif 8729-8736
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1729-1734
(=>
    (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 3184-3188
(=>
    (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 25137-25147
(=>
    (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 3202-3215
(=>
    (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 3239-3259
(=>
    (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 23991-23999
(=>
    (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 145-160

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 676-678 attribute Object and 信仰團體 的 member 會員 Object and 信仰團體
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 702-704 attribute Object and 不可知 會員 Object and 不可知論
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1348-1350 attribute Object and ahmadiyya穆斯林 會員 Object and ahmadiyya教派
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1226-1228 attribute Object and 英國國教 會員 Object and 英國國教
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1234-1236 attribute Object and 英國國教 會員 Object and 英格蘭教堂
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 720-722 attribute Object and 無神論者 會員 Object and 無神論
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 757-759 attribute Object and 巴哈 會員 Object and 巴哈主義
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 769-771 attribute Object and 佛教徒 會員 Object and 佛教
(<=>
    (attribute ?INDIVIDUAL Capitalist)
    (member ?INDIVIDUAL Capitalism))		 Economy.kif 925-927 attribute Object and Capitalist 會員 Object and Capitalism
(<=>
    (attribute ?INDIVIDUAL Communism)
    (member ?INDIVIDUAL Communism))		 Economy.kif 895-897 attribute Object and Communism 會員 Object and Communism
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1307-1309 attribute Object and 儒 會員 Object and 儒
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1362-1364 attribute Object and 德魯茲穆斯林 會員 Object and 德魯茲教派
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1248-1250 attribute Object and 東正教基督教 會員 Object and 東正教基督教
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1319-1321 attribute Object and 印度教 會員 Object and 印度教
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1412-1414 attribute Object and 耆那教 會員 Object and 耆那教
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1331-1333 attribute Object and 穆斯林 會員 Object and 伊斯蘭教
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1458-1460 attribute Object and neopaganismist 會員 Object and neopaganism
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1262-1264 attribute Object and 新教 會員 Object and 新教
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1429-1431 attribute Object and 宗教的猶太人 會員 Object and 猶太教
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1284-1286 attribute Object and 羅馬天主教徒 會員 Object and 羅馬天主教會
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1276-1278 attribute Object and 羅馬天主教徒 會員 Object and 羅馬天主教
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1378-1380 attribute Object and 什葉派穆斯林 會員 Object and 什葉派
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))		 People.kif 1473-1475 attribute Object and 神道教 會員 Object and 神道
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))		 People.kif 1488-1490 attribute Object and 錫克教 會員 Object and 錫克教
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))		 People.kif 1397-1399 attribute Object and 遜尼派穆斯林 會員 Object and 遜尼派

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 TimeInterval 例 TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles entity
(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3180-3180 會員 丹麥 and 歐洲貨幣聯盟
(not
    (member Sweden EuropeanMonetaryUnion))		 Government.kif 3181-3181 會員 瑞典 and 歐洲貨幣聯盟
(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3182-3182 會員 英國 and 歐洲貨幣聯盟

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


(member Austria EuropeanMonetaryUnion) Government.kif 3160-3160 會員 奧地利 and 歐洲貨幣聯盟
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 會員 貝克島 and UnitedStatesMinorOutlyingIslands
(member Belgium BeneluxEconomicUnion) Government.kif 2864-2864 會員 比利時 and 比荷盧經濟聯盟
(member Belgium EuropeanMonetaryUnion) Government.kif 3161-3161 會員 比利時 and 歐洲貨幣聯盟
(member Cyprus EuropeanMonetaryUnion) Government.kif 3162-3162 會員 塞浦路斯 and 歐洲貨幣聯盟
(member Estonia EuropeanMonetaryUnion) Government.kif 3163-3163 會員 愛沙尼亞 and 歐洲貨幣聯盟
(member Finland EuropeanMonetaryUnion) Government.kif 3164-3164 會員 芬蘭 and 歐洲貨幣聯盟
(member France EuropeanMonetaryUnion) Government.kif 3165-3165 會員 法國 and 歐洲貨幣聯盟
(member Germany EuropeanMonetaryUnion) Government.kif 3166-3166 會員 德國 and 歐洲貨幣聯盟
(member Greece EuropeanMonetaryUnion) Government.kif 3167-3167 會員 希臘 and 歐洲貨幣聯盟
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 會員 Howland島 and UnitedStatesMinorOutlyingIslands
(member Ireland EuropeanMonetaryUnion) Government.kif 3168-3168 會員 愛爾蘭 and 歐洲貨幣聯盟
(member Italy EuropeanMonetaryUnion) Government.kif 3169-3169 會員 意大利 and 歐洲貨幣聯盟
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 會員 賈維斯島 and UnitedStatesMinorOutlyingIslands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2627-2627 會員 約翰斯頓環礁 and UnitedStatesMinorOutlyingIslands
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2623-2623 會員 金曼礁 and UnitedStatesMinorOutlyingIslands
(member Latvia EuropeanMonetaryUnion) Government.kif 3170-3170 會員 拉脫維亞 and 歐洲貨幣聯盟
(member Lithuania EuropeanMonetaryUnion) Government.kif 3171-3171 會員 立陶宛 and 歐洲貨幣聯盟
(member Luxembourg BeneluxEconomicUnion) Government.kif 2866-2866 會員 盧森堡 and 比荷盧經濟聯盟
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3172-3172 會員 盧森堡 and 歐洲貨幣聯盟
(member Malta EuropeanMonetaryUnion) Government.kif 3173-3173 會員 馬耳他 and 歐洲貨幣聯盟
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2628-2628 會員 中途島嶼 and UnitedStatesMinorOutlyingIslands
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2624-2624 會員 納瓦薩島 and UnitedStatesMinorOutlyingIslands
(member Netherlands BeneluxEconomicUnion) Government.kif 2865-2865 會員 荷蘭 and 比荷盧經濟聯盟
(member Netherlands EuropeanMonetaryUnion) Government.kif 3174-3174 會員 荷蘭 and 歐洲貨幣聯盟

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