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 1294-1296
(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 1289-1289 member の数値 1 引数は 物理 の instance では
(domain member 2 Collection) Merge.kif 1290-1290 member の数値 2 引数は コレクション の instance では
(instance member AsymmetricRelation) Merge.kif 1286-1286 member は 非対称関係 の instance では
(instance member BinaryPredicate) Merge.kif 1287-1287 member は 2進述語 の instance では
(instance member IntransitiveRelation) Merge.kif 1288-1288 member は 非推移関係 の instance では
(relatedInternalConcept member element) Merge.kif 1292-1292 member は element に internally 関連して
(relatedInternalConcept member instance) Merge.kif 1291-1291 member は instance に internally 関連して

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 associateInOrganization は member の subrelation では
(subrelation groupMember member) Mid-level-ontology.kif 8721-8721 groupMember は member の subrelation では
(subrelation student member) Mid-level-ontology.kif 18178-18178 student は member の subrelation では
(subrelation teacher member) Mid-level-ontology.kif 18250-18250 teacher は member の subrelation では
(termFormat ChineseLanguage member "会员") domainEnglishFormat.kif 36998-36998 teacher は member の subrelation では
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154 teacher は member の subrelation では
(termFormat ChineseTraditionalLanguage member "會員") domainEnglishFormat.kif 36997-36997 teacher は member の subrelation では
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 36996-36996 teacher は member の subrelation では
(termFormat de member "mitglied") terms-de.txt 57-57 teacher は member の subrelation では
(termFormat tg member "kasapi") relations-tg.txt 359-359 teacher は member の subrelation では

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))		 Government.kif 3564-3566 物理 は InternationalRedCrossAndRedCrescentMovement の member では 物理 は InternationalFederationOfRedCrossAndRedCrescentSocieties の member では
(=>
    (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 25135-25145
(=>
    (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 23989-23997
(=>
    (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 BeliefGroupMemberFn BeliefGroup は オブジェクト の attribute では オブジェクト は BeliefGroup の member では
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 702-704 Agnostic は オブジェクト の attribute では オブジェクト は Agnosticism の member では
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1348-1350 AhmadiyyaMuslim は オブジェクト の attribute では オブジェクト は AhmadiyyaSect の member では
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1226-1228 Anglican は オブジェクト の attribute では オブジェクト は Anglicanism の member では
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1234-1236 Anglican は オブジェクト の attribute では オブジェクト は ChurchOfEngland の member では
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 720-722 Atheist は オブジェクト の attribute では オブジェクト は Atheism の member では
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 757-759 Bahai は オブジェクト の attribute では オブジェクト は Bahaism の member では
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 769-771 Buddhist は オブジェクト の attribute では オブジェクト は Buddhism の member では
(<=>
    (attribute ?INDIVIDUAL Capitalist)
    (member ?INDIVIDUAL Capitalism))		 Economy.kif 925-927 Capitalist は オブジェクト の attribute では オブジェクト は Capitalism の member では
(<=>
    (attribute ?INDIVIDUAL Communism)
    (member ?INDIVIDUAL Communism))		 Economy.kif 895-897 Communism は オブジェクト の attribute では オブジェクト は Communism の member では
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1307-1309 Confucianist は オブジェクト の attribute では オブジェクト は Confucianism の member では
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1362-1364 DruzeMuslim は オブジェクト の attribute では オブジェクト は DruzeSect の member では
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1248-1250 EasternOrthodoxChristian は オブジェクト の attribute では オブジェクト は EasternOrthodoxChristianity の member では
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1319-1321 Hindu は オブジェクト の attribute では オブジェクト は Hinduism の member では
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1412-1414 Jain は オブジェクト の attribute では オブジェクト は Jainism の member では
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1331-1333 Muslim は オブジェクト の attribute では オブジェクト は Islam の member では
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1458-1460 Neopaganismist は オブジェクト の attribute では オブジェクト は Neopaganism の member では
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1262-1264 Protestant は オブジェクト の attribute では オブジェクト は Protestantism の member では
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1429-1431 ReligiousJew は オブジェクト の attribute では オブジェクト は Judaism の member では
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1284-1286 RomanCatholic は オブジェクト の attribute では オブジェクト は RomanCatholicChurch の member では
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1276-1278 RomanCatholic は オブジェクト の attribute では オブジェクト は RomanCatholicism の member では
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1378-1380 ShiaMuslim は オブジェクト の attribute では オブジェクト は ShiiteSect の member では
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))		 People.kif 1473-1475 Shintoist は オブジェクト の attribute では オブジェクト は Shinto の member では
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))		 People.kif 1488-1490 Sikh は オブジェクト の attribute では オブジェクト は Sikhism の member では
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))		 People.kif 1397-1399 SunniMuslim は オブジェクト の attribute では オブジェクト は SunniSect の 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 では 時間間隔 は JesusOfNazareth の time の existence を finishes 時間間隔 は TwelveApostles の time の existence を starts エンティティー
(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3180-3180 Denmark は EuropeanMonetaryUnion の member では
(not
    (member Sweden EuropeanMonetaryUnion))		 Government.kif 3181-3181 Sweden は EuropeanMonetaryUnion の member では
(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3182-3182 UnitedKingdom は EuropeanMonetaryUnion の member では

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


(member Austria EuropeanMonetaryUnion) Government.kif 3160-3160 Austria は EuropeanMonetaryUnion の member では
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 BakerIsland は UnitedStatesMinorOutlyingIslands の member では
(member Belgium BeneluxEconomicUnion) Government.kif 2864-2864 Belgium は BeneluxEconomicUnion の member では
(member Belgium EuropeanMonetaryUnion) Government.kif 3161-3161 Belgium は EuropeanMonetaryUnion の member では
(member Cyprus EuropeanMonetaryUnion) Government.kif 3162-3162 Cyprus は EuropeanMonetaryUnion の member では
(member Estonia EuropeanMonetaryUnion) Government.kif 3163-3163 Estonia は EuropeanMonetaryUnion の member では
(member Finland EuropeanMonetaryUnion) Government.kif 3164-3164 Finland は EuropeanMonetaryUnion の member では
(member France EuropeanMonetaryUnion) Government.kif 3165-3165 France は EuropeanMonetaryUnion の member では
(member Germany EuropeanMonetaryUnion) Government.kif 3166-3166 Germany は EuropeanMonetaryUnion の member では
(member Greece EuropeanMonetaryUnion) Government.kif 3167-3167 Greece は EuropeanMonetaryUnion の member では
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 HowlandIsland は UnitedStatesMinorOutlyingIslands の member では
(member Ireland EuropeanMonetaryUnion) Government.kif 3168-3168 Ireland は EuropeanMonetaryUnion の member では
(member Italy EuropeanMonetaryUnion) Government.kif 3169-3169 Italy は EuropeanMonetaryUnion の member では
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 JarvisIsland は UnitedStatesMinorOutlyingIslands の member では
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2627-2627 JohnstonAtoll は UnitedStatesMinorOutlyingIslands の member では
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2623-2623 KingmanReef は UnitedStatesMinorOutlyingIslands の member では
(member Latvia EuropeanMonetaryUnion) Government.kif 3170-3170 Latvia は EuropeanMonetaryUnion の member では
(member Lithuania EuropeanMonetaryUnion) Government.kif 3171-3171 Lithuania は EuropeanMonetaryUnion の member では
(member Luxembourg BeneluxEconomicUnion) Government.kif 2866-2866 Luxembourg は BeneluxEconomicUnion の member では
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3172-3172 Luxembourg は EuropeanMonetaryUnion の member では
(member Malta EuropeanMonetaryUnion) Government.kif 3173-3173 Malta は EuropeanMonetaryUnion の member では
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2628-2628 MidwayIslands は UnitedStatesMinorOutlyingIslands の member では
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2624-2624 NavassaIsland は UnitedStatesMinorOutlyingIslands の member では
(member Netherlands BeneluxEconomicUnion) Government.kif 2865-2865 Netherlands は BeneluxEconomicUnion の member では
(member Netherlands EuropeanMonetaryUnion) Government.kif 3174-3174 Netherlands は EuropeanMonetaryUnion の 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