Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  member

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 Il numero 1 argomenti di member è un istanza di Entit�Concreta
(domain member 2 Collection) Merge.kif 1280-1280 Il numero 2 argomenti di member è un istanza di InsiemeConcreto
(instance member AsymmetricRelation) Merge.kif 1276-1276 member è un' istanza di RelazioneAsimmetrica
(instance member BinaryPredicate) Merge.kif 1277-1277 member è un' istanza di PredicatoBinario
(instance member IntransitiveRelation) Merge.kif 1278-1278 member è un' istanza di RelazioneIntransitiva
(relatedInternalConcept member element) Merge.kif 1282-1282 member è interamente correlato a element
(relatedInternalConcept member instance) Merge.kif 1281-1281 member è interamente correlato a instance

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 2390-2390 associateInOrganization è una sottorelazione di member
(subrelation groupMember member) Mid-level-ontology.kif 7581-7581 groupMember è una sottorelazione di member
(subrelation student member) Mid-level-ontology.kif 16818-16818 student è una sottorelazione di member
(subrelation teacher member) Mid-level-ontology.kif 16890-16890 teacher è una sottorelazione di member
(termFormat ChineseLanguage member "会员") domainEnglishFormat.kif 36989-36989
(termFormat ChineseLanguage member "组员") chinese_format.kif 154-154
(termFormat ChineseTraditionalLanguage member "會員") domainEnglishFormat.kif 36988-36988
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 36987-36987
(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 3567-3569 Entit�Concreta è un membro di InternationalRedCrossAndRedCrescentMovement Entit�Concreta è un membro di InternationalFederationOfRedCrossAndRedCrescentSocieties
(=>
    (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
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))
Media.kif 3189-3194
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))
Mid-level-ontology.kif 7589-7596
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1731-1736
(=>
    (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 3187-3191
(=>
    (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 23546-23556
(=>
    (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 22400-22408
(=>
    (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
(=>
    (and
        (instance ?CATEG WebListingCategory)
        (member ?LISTING ?CATEG))
    (instance ?LISTING WebListing))
UXExperimentalTerms.kif 139-143

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 Oggetto and BeliefGroupMemberFn BeliefGroup Oggetto è un membro di BeliefGroup
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 702-704 attribute Oggetto and Agnostic Oggetto è un membro di Agnosticism
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))
People.kif 1347-1349 attribute Oggetto and AhmadiyyaMuslim Oggetto è un membro di AhmadiyyaSect
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1225-1227 attribute Oggetto and Anglican Oggetto è un membro di Anglicanism
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1233-1235 attribute Oggetto and Anglican Oggetto è un membro di ChurchOfEngland
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))
People.kif 720-722 attribute Oggetto and Atheist Oggetto è un membro di Atheism
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 757-759 attribute Oggetto and Bahai Oggetto è un membro di Bahaism
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))
People.kif 769-771 attribute Oggetto and Buddhist Oggetto è un membro di Buddhism
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1306-1308 attribute Oggetto and Confucianist Oggetto è un membro di Confucianism
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1361-1363 attribute Oggetto and DruzeMuslim Oggetto è un membro di DruzeSect
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1247-1249 attribute Oggetto and EasternOrthodoxChristian Oggetto è un membro di EasternOrthodoxChristianity
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1318-1320 attribute Oggetto and Hindu Oggetto è un membro di Hinduism
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1411-1413 attribute Oggetto and Jain Oggetto è un membro di Jainism
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1330-1332 attribute Oggetto and Muslim Oggetto è un membro di Islam
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1457-1459 attribute Oggetto and Neopaganismist Oggetto è un membro di Neopaganism
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1261-1263 attribute Oggetto and Protestant Oggetto è un membro di Protestantism
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1428-1430 attribute Oggetto and ReligiousJew Oggetto è un membro di Judaism
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1283-1285 attribute Oggetto and RomanCatholic Oggetto è un membro di RomanCatholicChurch
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1275-1277 attribute Oggetto and RomanCatholic Oggetto è un membro di RomanCatholicism
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1377-1379 attribute Oggetto and ShiaMuslim Oggetto è un membro di ShiiteSect
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1472-1474 attribute Oggetto and Shintoist Oggetto è un membro di Shinto
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1487-1489 attribute Oggetto and Sikh Oggetto è un membro di Sikhism
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1396-1398 attribute Oggetto and SunniMuslim Oggetto è un membro di SunniSect
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))
People.kif 1502-1504 attribute Oggetto and Taoist Oggetto è un membro di Taoism
(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))
People.kif 1517-1519 attribute Oggetto and Zoroastrian Oggetto è un membro di Zoroastrianism

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 IntervalloTemporale IntervalloTemporale è un' istanza di IntervalloTemporale IntervalloTemporale finiscees il tempo di esistenza di JesusOfNazareth IntervalloTemporale inizias il tempo di esistenza di TwelveApostles Entit�
(not
    (member Denmark EuropeanMonetaryUnion))
Government.kif 3183-3183 Denmark è un membro di EuropeanMonetaryUnion
(not
    (member Sweden EuropeanMonetaryUnion))
Government.kif 3184-3184 Sweden è un membro di EuropeanMonetaryUnion
(not
    (member UnitedKingdom EuropeanMonetaryUnion))
Government.kif 3185-3185 UnitedKingdom è un membro di EuropeanMonetaryUnion

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


(member Austria EuropeanMonetaryUnion) Government.kif 3163-3163 Austria è un membro di EuropeanMonetaryUnion
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2618-2618 BakerIsland è un membro di UnitedStatesMinorOutlyingIslands
(member Belgium BeneluxEconomicUnion) Government.kif 2867-2867 Belgium è un membro di BeneluxEconomicUnion
(member Belgium EuropeanMonetaryUnion) Government.kif 3164-3164 Belgium è un membro di EuropeanMonetaryUnion
(member Cyprus EuropeanMonetaryUnion) Government.kif 3165-3165 Cyprus è un membro di EuropeanMonetaryUnion
(member Estonia EuropeanMonetaryUnion) Government.kif 3166-3166 Estonia è un membro di EuropeanMonetaryUnion
(member Finland EuropeanMonetaryUnion) Government.kif 3167-3167 Finland è un membro di EuropeanMonetaryUnion
(member France EuropeanMonetaryUnion) Government.kif 3168-3168 France è un membro di EuropeanMonetaryUnion
(member Germany EuropeanMonetaryUnion) Government.kif 3169-3169 Germany è un membro di EuropeanMonetaryUnion
(member Greece EuropeanMonetaryUnion) Government.kif 3170-3170 Greece è un membro di EuropeanMonetaryUnion
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2619-2619 HowlandIsland è un membro di UnitedStatesMinorOutlyingIslands
(member Ireland EuropeanMonetaryUnion) Government.kif 3171-3171 Ireland è un membro di EuropeanMonetaryUnion
(member Italy EuropeanMonetaryUnion) Government.kif 3172-3172 Italy è un membro di EuropeanMonetaryUnion
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 JarvisIsland è un membro di UnitedStatesMinorOutlyingIslands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2625-2625 JohnstonAtoll è un membro di UnitedStatesMinorOutlyingIslands
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 KingmanReef è un membro di UnitedStatesMinorOutlyingIslands
(member Latvia EuropeanMonetaryUnion) Government.kif 3173-3173 Latvia è un membro di EuropeanMonetaryUnion
(member Lithuania EuropeanMonetaryUnion) Government.kif 3174-3174 Lithuania è un membro di EuropeanMonetaryUnion
(member Luxembourg BeneluxEconomicUnion) Government.kif 2869-2869 Luxembourg è un membro di BeneluxEconomicUnion
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3175-3175 Luxembourg è un membro di EuropeanMonetaryUnion
(member Malta EuropeanMonetaryUnion) Government.kif 3176-3176 Malta è un membro di EuropeanMonetaryUnion
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2626-2626 MidwayIslands è un membro di UnitedStatesMinorOutlyingIslands
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 NavassaIsland è un membro di UnitedStatesMinorOutlyingIslands
(member Netherlands BeneluxEconomicUnion) Government.kif 2868-2868 Netherlands è un membro di BeneluxEconomicUnion
(member Netherlands EuropeanMonetaryUnion) Government.kif 3177-3177 Netherlands è un membro di EuropeanMonetaryUnion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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