TreeView Knowledge Base Browser

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 1236-1238
(domain member 1 Physical)	Merge.kif 1231-1231	domain member, 1 and Physical
(domain member 2 Collection)	Merge.kif 1232-1232	domain member, 2 and Collection
(instance member AsymmetricRelation)	Merge.kif 1228-1228	instance member and AsymmetricRelation
(instance member BinaryPredicate)	Merge.kif 1229-1229	instance member and BinaryPredicate
(instance member IntransitiveRelation)	Merge.kif 1230-1230	instance member and IntransitiveRelation
(relatedInternalConcept member element)	Merge.kif 1234-1234	relatedInternalConcept member and element
(relatedInternalConcept member instance)	Merge.kif 1233-1233	relatedInternalConcept member and 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
(subrelation associateInOrganization member)	Government.kif 2411-2411	subrelation associateInOrganization and member
(subrelation groupMember member)	Mid-level-ontology.kif 7230-7230	subrelation groupMember and member
(subrelation student member)	Mid-level-ontology.kif 16211-16211	subrelation student and member
(subrelation teacher member)	Mid-level-ontology.kif 16282-16282	subrelation teacher and member
(termFormat ChineseLanguage member "会员")	domainEnglishFormat.kif 36978-36978
(termFormat ChineseLanguage member "组员")	chinese_format.kif 154-154
(termFormat ChineseTraditionalLanguage member "會員")	domainEnglishFormat.kif 36977-36977
(termFormat EnglishLanguage member "member")	domainEnglishFormat.kif 36976-36976

antecedent

(<=> (member ?PART InternationalRedCrossAndRedCrescentMovement) (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))	Government.kif 3583-3585	member Physical and InternationalRedCrossAndRedCrescentMovement member Physical and InternationalFederationOfRedCrossAndRedCrescentSocieties
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry))	Economy.kif 501-505	attribute Agent and HighIncomeCountry member Agent and OrganizationOfPetroleumExportingCountries economyType Agent and DevelopedCountry
(=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human))	UXExperimentalTerms.kif 2789-2793	businessUnit Organization and Business member Physical and Organization instance Physical and Human
(=> (and (crossFunctionalTeamFocus ?FOCUS ?TEAM) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?FOCUS))	UXExperimentalTerms.kif 2869-2873	crossFunctionalTeamFocus Entity and CrossFunctionalTeam member CognitiveAgent and CrossFunctionalTeam inScopeOfInterest CognitiveAgent and Entity
(=> (and (equal ?X (ABPFn ?BUYINGS)) (member ?BUYING ?BUYINGS)) (instance ?BUYING Buying))	UXExperimentalTerms.kif 3441-3445	equal CurrencyMeasure and ABPFn Collection member Physical and Collection instance Physical and Buying
(=> (and (equal ?X (ASPFn ?SELLINGS)) (member ?SELLING ?SELLINGS)) (instance ?SELLING Selling))	UXExperimentalTerms.kif 3484-3488	equal CurrencyMeasure and ASPFn Collection member Physical and Collection instance Physical and Selling
(=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))	UXExperimentalTerms.kif 4250-4254	experimentalTreatmentCollection Collection and Experimenting member Process and Collection experimentalVariableProcess Experimenting and Process
(=> (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 3742-3751	firstTimeBuyers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Buying agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite during WhenFn FinancialTransaction and TimeInterval
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER Agent))	UXExperimentalTerms.kif 3736-3740	firstTimeBuyers TimeInterval, WebSite and Collection member Physical and Collection instance Physical and Agent
(=> (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 3753-3763	firstTimeBuyers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Buying agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite earlier WhenFn FinancialTransaction and TimeInterval
(=> (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 3790-3799	firstTimeSellers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Selling agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite during WhenFn FinancialTransaction and TimeInterval
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER Agent))	UXExperimentalTerms.kif 3784-3788	firstTimeSellers TimeInterval, WebSite and Collection member Physical and Collection instance Physical and Agent
(=> (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 3801-3811	firstTimeSellers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Selling agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite earlier WhenFn FinancialTransaction and TimeInterval
(=> (and (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (instance ?PRODUCT ?PRODUCTTYPE) (member ?OBJ ?PRODUCT)) (instance ?OBJ ContentBearingPhysical))	Media.kif 3195-3200	groupingTitle SymbolicString, Class and Language instance Collection and Class member Physical and Collection instance Physical and ContentBearingPhysical
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 7238-7245	holdsDuring TimePosition and member Entity and Entity instance Entity and Human instance Entity and GroupOfPeople holdsDuring TimePosition and groupMember Entity and Entity
(=> (and (instance ?AGENT Agent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1752-1757	instance Object and Agent instance Organization and Organization member Object and Organization attribute Object and MemberFn Organization
(=> (and (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (instance ?SHIP MerchantMarineShip))	Transportation.kif 972-976	instance GeopoliticalArea and GeopoliticalArea member Physical and MerchantMarineFn GeopoliticalArea instance Physical and MerchantMarineShip
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar))	Government.kif 3203-3207	instance GeopoliticalArea and Nation member GeopoliticalArea and EuropeanMonetaryUnion currencyType GeopoliticalArea and EuroDollar
(=> (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 22917-22927	instance PlacingUnderArrest and PlacingUnderArrest arrested PlacingUnderArrest and Agent instance Agent and GroupOfPeople member Agent and Agent PlacingUnderArrest instance PlacingUnderArrest and PlacingUnderArrest arrested PlacingUnderArrest and Agent subProcess PlacingUnderArrest and PlacingUnderArrest
(=> (and (instance ?AUCTIONS Collection) (forall (?AUC) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning)))) (and (total (KappaFn ?AMOUNT (and (instance ?AUCTION Auctioning) (member ?AUCTION ?AUCTIONS) (transactionAmount ?AUCTION ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3409-3424	instance Collection and Collection Physical member Physical and Collection instance Physical and Auctioning total KappaFn SymbolicString and instance PhysicalTION and Auctioning member PhysicalTION and Collection transactionAmount PhysicalTION and SymbolicString and entity_PURCHASE_AMOUNT equal AuctionGMBFn Collection and entity_PURCHASE_AMOUNT
(=> (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 ?ITEM ?BUYING)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL)))	UXExperimentalTerms.kif 3447-3467	instance Collection and Collection instance RealNumber and CurrencyMeasure instance Integer and RealNumber equal RealNumber and GMBFn Collection equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Object entity member entity and Collection patient SymbolicString and entity equal ABPFn Collection and DivisionFn RealNumber and Integer
(=> (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 21804-21812	instance Collection and Convoy member Physical and Collection Process instance Process and Driving overlapsTemporally WhenFn Process and WhenFn Collection patient Process and Physical
(=> (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	instance Collection and Convoy member Agent and Collection member Agent and Collection equal Agent and Agent Process Process and Entity instance Process and Transportation instance Process and Transportation agent Process and Agent agent Process and Agent destination Process and Entity destination Process and Entity
(=> (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	instance Collection and WebListingCategory instance Physical and WebListing instance Physical and WebListing instance Process and Object instance Process and Object member Physical and Collection member Physical and Collection patient Process and Physical patient Process and Physical Class instance Class and Class instance Process and Class instance Process and Class
(=> (and (instance ?CATEG WebListingCategory) (member ?LISTING ?CATEG)) (instance ?LISTING WebListing))	UXExperimentalTerms.kif 176-180	instance Collection and WebListingCategory member Physical and Collection instance Physical and WebListing

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 686-688	attribute Object and BeliefGroupMemberFn BeliefGroup member Object and BeliefGroup
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism))	People.kif 712-714	attribute Object and Agnostic member Object and Agnosticism
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1357-1359	attribute Object and AhmadiyyaMuslim member Object and AhmadiyyaSect
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism))	People.kif 1235-1237	attribute Object and Anglican member Object and Anglicanism
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1243-1245	attribute Object and Anglican member Object and ChurchOfEngland
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism))	People.kif 730-732	attribute Object and Atheist member Object and Atheism
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism))	People.kif 767-769	attribute Object and Bahai member Object and Bahaism
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism))	People.kif 779-781	attribute Object and Buddhist member Object and Buddhism
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism))	People.kif 1316-1318	attribute Object and Confucianist member Object and Confucianism
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect))	People.kif 1371-1373	attribute Object and DruzeMuslim member Object and DruzeSect
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1257-1259	attribute Object and EasternOrthodoxChristian member Object and EasternOrthodoxChristianity
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism))	People.kif 1328-1330	attribute Object and Hindu member Object and Hinduism
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism))	People.kif 1421-1423	attribute Object and Jain member Object and Jainism
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam))	People.kif 1340-1342	attribute Object and Muslim member Object and Islam
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism))	People.kif 1467-1469	attribute Object and Neopaganismist member Object and Neopaganism
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism))	People.kif 1271-1273	attribute Object and Protestant member Object and Protestantism
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism))	People.kif 1438-1440	attribute Object and ReligiousJew member Object and Judaism
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1293-1295	attribute Object and RomanCatholic member Object and RomanCatholicChurch
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism))	People.kif 1285-1287	attribute Object and RomanCatholic member Object and RomanCatholicism
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect))	People.kif 1387-1389	attribute Object and ShiaMuslim member Object and ShiiteSect
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto))	People.kif 1482-1484	attribute Object and Shintoist member Object and Shinto
(<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism))	People.kif 1497-1499	attribute Object and Sikh member Object and Sikhism
(<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect))	People.kif 1406-1408	attribute Object and SunniMuslim member Object and SunniSect
(<=> (attribute ?INDIVIDUAL Taoist) (member ?INDIVIDUAL Taoism))	People.kif 1512-1514	attribute Object and Taoist member Object and Taoism
(<=> (attribute ?INDIVIDUAL Zoroastrian) (member ?INDIVIDUAL Zoroastrianism))	People.kif 1527-1529	attribute Object and Zoroastrian member Object and 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 1968-1976	TimeInterval instance TimeInterval and TimeInterval finishes TimeInterval and WhenFn JesusOfNazareth starts TimeInterval and WhenFn TwelveApostles entity holdsDuring TimeInterval and member entity and TwelveApostles holdsDuring TimeInterval and friend entity and JesusOfNazareth
(not (member Denmark EuropeanMonetaryUnion))	Government.kif 3199-3199	member Denmark and EuropeanMonetaryUnion
(not (member Sweden EuropeanMonetaryUnion))	Government.kif 3200-3200	member Sweden and EuropeanMonetaryUnion
(not (member UnitedKingdom EuropeanMonetaryUnion))	Government.kif 3201-3201	member UnitedKingdom and EuropeanMonetaryUnion

appearance as argument number 0

(member Austria EuropeanMonetaryUnion)	Government.kif 3179-3179	member Austria and EuropeanMonetaryUnion
(member BakerIsland UnitedStatesMinorOutlyingIslands)	Media.kif 2606-2606	member BakerIsland and UnitedStatesMinorOutlyingIslands
(member Belgium BeneluxEconomicUnion)	Government.kif 2883-2883	member Belgium and BeneluxEconomicUnion
(member Belgium EuropeanMonetaryUnion)	Government.kif 3180-3180	member Belgium and EuropeanMonetaryUnion
(member Cyprus EuropeanMonetaryUnion)	Government.kif 3181-3181	member Cyprus and EuropeanMonetaryUnion
(member Estonia EuropeanMonetaryUnion)	Government.kif 3182-3182	member Estonia and EuropeanMonetaryUnion
(member Finland EuropeanMonetaryUnion)	Government.kif 3183-3183	member Finland and EuropeanMonetaryUnion
(member France EuropeanMonetaryUnion)	Government.kif 3184-3184	member France and EuropeanMonetaryUnion
(member Germany EuropeanMonetaryUnion)	Government.kif 3185-3185	member Germany and EuropeanMonetaryUnion
(member Greece EuropeanMonetaryUnion)	Government.kif 3186-3186	member Greece and EuropeanMonetaryUnion
(member HowlandIsland UnitedStatesMinorOutlyingIslands)	Media.kif 2607-2607	member HowlandIsland and UnitedStatesMinorOutlyingIslands
(member Ireland EuropeanMonetaryUnion)	Government.kif 3187-3187	member Ireland and EuropeanMonetaryUnion
(member Italy EuropeanMonetaryUnion)	Government.kif 3188-3188	member Italy and EuropeanMonetaryUnion
(member JarvisIsland UnitedStatesMinorOutlyingIslands)	Media.kif 2608-2608	member JarvisIsland and UnitedStatesMinorOutlyingIslands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands)	Media.kif 2613-2613	member JohnstonAtoll and UnitedStatesMinorOutlyingIslands
(member KingmanReef UnitedStatesMinorOutlyingIslands)	Media.kif 2609-2609	member KingmanReef and UnitedStatesMinorOutlyingIslands
(member Latvia EuropeanMonetaryUnion)	Government.kif 3189-3189	member Latvia and EuropeanMonetaryUnion
(member Lithuania EuropeanMonetaryUnion)	Government.kif 3190-3190	member Lithuania and EuropeanMonetaryUnion
(member Luxembourg BeneluxEconomicUnion)	Government.kif 2885-2885	member Luxembourg and BeneluxEconomicUnion
(member Luxembourg EuropeanMonetaryUnion)	Government.kif 3191-3191	member Luxembourg and EuropeanMonetaryUnion
(member Malta EuropeanMonetaryUnion)	Government.kif 3192-3192	member Malta and EuropeanMonetaryUnion
(member MidwayIslands UnitedStatesMinorOutlyingIslands)	Media.kif 2614-2614	member MidwayIslands and UnitedStatesMinorOutlyingIslands
(member NavassaIsland UnitedStatesMinorOutlyingIslands)	Media.kif 2610-2610	member NavassaIsland and UnitedStatesMinorOutlyingIslands
(member Netherlands BeneluxEconomicUnion)	Government.kif 2884-2884	member Netherlands and BeneluxEconomicUnion
(member Netherlands EuropeanMonetaryUnion)	Government.kif 3193-3193	member Netherlands and 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)

KB Term:			Term intersection

English Word: