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 1284-1286
(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 1279-1279 member の数値 1 引数は 物理 の instance では %n
(domain member 2 Collection) Merge.kif 1280-1280 member の数値 2 引数は コレクション の instance では %n
(instance member AsymmetricRelation) Merge.kif 1276-1276 member は 非対称関係 の instance では %n
(instance member BinaryPredicate) Merge.kif 1277-1277 member は 2進述語 の instance では %n
(instance member IntransitiveRelation) Merge.kif 1278-1278 member は 非推移関係 の instance では %n
(relatedInternalConcept member element) Merge.kif 1282-1282 member は element に internally 関連して %n
(relatedInternalConcept member instance) Merge.kif 1281-1281 member は instance に internally 関連して %n

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 2426-2426 associateInOrganization は member の subrelation では %n
(subrelation groupMember member) Mid-level-ontology.kif 7521-7521 groupMember は member の subrelation では %n
(subrelation student member) Mid-level-ontology.kif 16661-16661 student は member の subrelation では %n
(subrelation teacher member) Mid-level-ontology.kif 16733-16733 teacher は member の subrelation では %n
(termFormat ChineseLanguage member "会员") domainEnglishFormat.kif 37004-37004
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154
(termFormat ChineseTraditionalLanguage member "會員") domainEnglishFormat.kif 37003-37003
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 37002-37002
(termFormat de member "mitglied") terms-de.txt 57-57
(termFormat tg member "kasapi") relations-tg.txt 359-359

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))		 Government.kif 3603-3605 物理 は InternationalRedCrossAndRedCrescentMovement の member では %n 物理 は InternationalFederationOfRedCrossAndRedCrescentSocieties の member では %n
(=>
    (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 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 7529-7536
(=>
    (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 23575-23585
(=>
    (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 22428-22436
(=>
    (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 BeliefGroupMemberFn BeliefGroup は オブジェクト の attribute では %n オブジェクト は BeliefGroup の member では %n
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 728-730 Agnostic は オブジェクト の attribute では %n オブジェクト は Agnosticism の member では %n
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1373-1375 AhmadiyyaMuslim は オブジェクト の attribute では %n オブジェクト は AhmadiyyaSect の member では %n
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1251-1253 Anglican は オブジェクト の attribute では %n オブジェクト は Anglicanism の member では %n
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1259-1261 Anglican は オブジェクト の attribute では %n オブジェクト は ChurchOfEngland の member では %n
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 746-748 Atheist は オブジェクト の attribute では %n オブジェクト は Atheism の member では %n
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 783-785 Bahai は オブジェクト の attribute では %n オブジェクト は Bahaism の member では %n
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 795-797 Buddhist は オブジェクト の attribute では %n オブジェクト は Buddhism の member では %n
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1332-1334 Confucianist は オブジェクト の attribute では %n オブジェクト は Confucianism の member では %n
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1387-1389 DruzeMuslim は オブジェクト の attribute では %n オブジェクト は DruzeSect の member では %n
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1273-1275 EasternOrthodoxChristian は オブジェクト の attribute では %n オブジェクト は EasternOrthodoxChristianity の member では %n
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1344-1346 Hindu は オブジェクト の attribute では %n オブジェクト は Hinduism の member では %n
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1437-1439 Jain は オブジェクト の attribute では %n オブジェクト は Jainism の member では %n
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1356-1358 Muslim は オブジェクト の attribute では %n オブジェクト は Islam の member では %n
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1483-1485 Neopaganismist は オブジェクト の attribute では %n オブジェクト は Neopaganism の member では %n
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1287-1289 Protestant は オブジェクト の attribute では %n オブジェクト は Protestantism の member では %n
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1454-1456 ReligiousJew は オブジェクト の attribute では %n オブジェクト は Judaism の member では %n
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1309-1311 RomanCatholic は オブジェクト の attribute では %n オブジェクト は RomanCatholicChurch の member では %n
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1301-1303 RomanCatholic は オブジェクト の attribute では %n オブジェクト は RomanCatholicism の member では %n
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1403-1405 ShiaMuslim は オブジェクト の attribute では %n オブジェクト は ShiiteSect の member では %n
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))		 People.kif 1498-1500 Shintoist は オブジェクト の attribute では %n オブジェクト は Shinto の member では %n
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))		 People.kif 1513-1515 Sikh は オブジェクト の attribute では %n オブジェクト は Sikhism の member では %n
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))		 People.kif 1422-1424 SunniMuslim は オブジェクト の attribute では %n オブジェクト は SunniSect の member では %n
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))		 People.kif 1528-1530 Taoist は オブジェクト の attribute では %n オブジェクト は Taoism の member では %n
(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))		 People.kif 1543-1545 Zoroastrian は オブジェクト の attribute では %n オブジェクト は Zoroastrianism の member では %n

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 では %n 時間間隔 は JesusOfNazareth の time の existence を finishes %n{ない} 時間間隔 は TwelveApostles の time の existence を starts %n{ない} エンティティー
(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3219-3219 Denmark は EuropeanMonetaryUnion の member では
(not
    (member Sweden EuropeanMonetaryUnion))		 Government.kif 3220-3220 Sweden は EuropeanMonetaryUnion の member では
(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3221-3221 UnitedKingdom は EuropeanMonetaryUnion の member では

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


(member Austria EuropeanMonetaryUnion) Government.kif 3199-3199 Austria は EuropeanMonetaryUnion の member では %n
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2618-2618 BakerIsland は UnitedStatesMinorOutlyingIslands の member では %n
(member Belgium BeneluxEconomicUnion) Government.kif 2903-2903 Belgium は BeneluxEconomicUnion の member では %n
(member Belgium EuropeanMonetaryUnion) Government.kif 3200-3200 Belgium は EuropeanMonetaryUnion の member では %n
(member Cyprus EuropeanMonetaryUnion) Government.kif 3201-3201 Cyprus は EuropeanMonetaryUnion の member では %n
(member Estonia EuropeanMonetaryUnion) Government.kif 3202-3202 Estonia は EuropeanMonetaryUnion の member では %n
(member Finland EuropeanMonetaryUnion) Government.kif 3203-3203 Finland は EuropeanMonetaryUnion の member では %n
(member France EuropeanMonetaryUnion) Government.kif 3204-3204 France は EuropeanMonetaryUnion の member では %n
(member Germany EuropeanMonetaryUnion) Government.kif 3205-3205 Germany は EuropeanMonetaryUnion の member では %n
(member Greece EuropeanMonetaryUnion) Government.kif 3206-3206 Greece は EuropeanMonetaryUnion の member では %n
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2619-2619 HowlandIsland は UnitedStatesMinorOutlyingIslands の member では %n
(member Ireland EuropeanMonetaryUnion) Government.kif 3207-3207 Ireland は EuropeanMonetaryUnion の member では %n
(member Italy EuropeanMonetaryUnion) Government.kif 3208-3208 Italy は EuropeanMonetaryUnion の member では %n
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 JarvisIsland は UnitedStatesMinorOutlyingIslands の member では %n
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2625-2625 JohnstonAtoll は UnitedStatesMinorOutlyingIslands の member では %n
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 KingmanReef は UnitedStatesMinorOutlyingIslands の member では %n
(member Latvia EuropeanMonetaryUnion) Government.kif 3209-3209 Latvia は EuropeanMonetaryUnion の member では %n
(member Lithuania EuropeanMonetaryUnion) Government.kif 3210-3210 Lithuania は EuropeanMonetaryUnion の member では %n
(member Luxembourg BeneluxEconomicUnion) Government.kif 2905-2905 Luxembourg は BeneluxEconomicUnion の member では %n
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3211-3211 Luxembourg は EuropeanMonetaryUnion の member では %n
(member Malta EuropeanMonetaryUnion) Government.kif 3212-3212 Malta は EuropeanMonetaryUnion の member では %n
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2626-2626 MidwayIslands は UnitedStatesMinorOutlyingIslands の member では %n
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 NavassaIsland は UnitedStatesMinorOutlyingIslands の member では %n
(member Netherlands BeneluxEconomicUnion) Government.kif 2904-2904 Netherlands は BeneluxEconomicUnion の member では %n
(member Netherlands EuropeanMonetaryUnion) Government.kif 3213-3213 Netherlands は EuropeanMonetaryUnion の member では %n

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