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 1211-1213
(domain member 1 Physical)	Merge.kif 1206-1206	The number 1 argument of member is an instance of physical
(domain member 2 Collection)	Merge.kif 1207-1207	The number 2 argument of member is an instance of collection
(instance member AsymmetricRelation)	Merge.kif 1203-1203	member is an instance of asymmetric relation
(instance member BinaryPredicate)	Merge.kif 1204-1204	member is an instance of binary predicate
(instance member IntransitiveRelation)	Merge.kif 1205-1205	member is an instance of intransitive relation
(relatedInternalConcept member element)	Merge.kif 1209-1209	member is internally related to element
(relatedInternalConcept member instance)	Merge.kif 1208-1208	member is internally related to 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 157-157
(subrelation associateInOrganization member)	Government.kif 2412-2412	associate in organization is a subrelation of member
(subrelation groupMember member)	Mid-level-ontology.kif 7206-7206	group member is a subrelation of member
(subrelation student member)	Mid-level-ontology.kif 15931-15931	student is a subrelation of member
(subrelation teacher member)	Mid-level-ontology.kif 15963-15963	teacher is a subrelation of 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 3579-3581	A physical is a member of international red cross and red crescent movement if and only if the physical is a member of international federation of red cross and red crescent societies
(=> (and (ABPFn ?BUYINGS) (member ?BUYING ?BUYINGS)) (instance ?BUYING Buying))	UXExperimentalTerms.kif 3441-3445	If the average price of a collection and a physical is a member of the collection, then the physical is an instance of buying
(=> (and (ASPFn ?SELLINGS) (member ?SELLING ?SELLINGS)) (instance ?SELLING Selling))	UXExperimentalTerms.kif 3484-3488	If the average selling price of a collection and a physical is a member of the collection, then the physical is an instance of selling
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry))	Economy.kif 501-505	If high income country is an attribute of an agent and the agent is not a member of organization of petroleum exporting countries, then developed country is an economy type of the agent
(=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human))	UXExperimentalTerms.kif 2789-2793	If an organization is a business unit of a Business and a physical is a member of the organization, then the physical is an instance of human
(=> (and (crossFunctionalTeamFocus ?FOCUS ?TEAM) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?FOCUS))	UXExperimentalTerms.kif 2869-2873	If a cross-functional team works on an entity and a cognitive agent is a member of the cross-functional team, then the cognitive agent is interested in the entity
(=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))	UXExperimentalTerms.kif 4250-4254	If a collection are the processes in an experimenting and a process is a member of the collection, then the process is a process in the experimenting
(=> (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	If a collection are first time buyers on a WebSite during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER Agent))	UXExperimentalTerms.kif 3736-3740	If a collection are first time buyers on a WebSite during a time interval and a physical is a member of the collection, then the physical is an instance of 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	If a collection are first time buyers on a WebSite during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
(=> (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	If a collection are first time sellers on a WebSite during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER Agent))	UXExperimentalTerms.kif 3784-3788	If a collection are first time sellers on a WebSite during a time interval and a physical is a member of the collection, then the physical is an instance of 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	If a collection are first time sellers on a WebSite during a time interval and an agent is a member of the collection, then there doesn't exist a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction happens earlier than the time interval
(=> (and (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (instance ?PRODUCT ?PRODUCTTYPE) (member ?OBJ ?PRODUCT)) (instance ?OBJ ContentBearingPhysical))	Media.kif 3177-3182	If a symbolic string is the title in a language for instances of a class and a collection is an instance of the class and a physical is a member of the collection, then the physical is an instance of content bearing physical
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 7214-7221	If an entity is a member of another entity holds during a time position and the entity is an instance of human and the other entity is an instance of group of people, then the entity is a member of the other entity holds during the time position
(=> (and (instance ?AGENT Agent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1753-1758	If an object is an instance of agent and an organization is an instance of organization and the object is a member of the organization, then the member of the organization is an attribute of the object
(=> (and (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (instance ?SHIP MerchantMarineShip))	Transportation.kif 972-976	If a geopolitical area is an instance of geopolitical area and a physical is a member of the merchant marine of the geopolitical area, then the physical is an instance of merchant marine ship
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar))	Government.kif 3199-3203	If a geopolitical area is an instance of nation and the geopolitical area is a member of european monetary union, then euro dollar is a currency type of the geopolitical area
(=> (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 22584-22594	If a placing under arrest is an instance of placing under arrest and an agent is placed under arrest during the placing under arrest and the agent is an instance of group of people and another agent is a member of the agent, then there exists the placing under arrest1 such that the placing under arrest1 is an instance of placing under arrest and the other agent is placed under arrest during the placing under arrest1 and the placing under arrest1 is a subprocess of the placing under arrest
(=> (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	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of auction , then the total of values in the class described by a symbolic string is an entity_PURCHASE_AMOUNT and the total purchase price of the collection is equal to the 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	If a collection is an instance of collection and a number is an instance of currency measure and an integer is an instance of real number and the number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average price of the collection is equal to the number and the 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 21471-21479	If a collection is an instance of convoy and a physical is a member of the collection, then there exists a process such that the process is an instance of driving and the time of existence of the collection overlaps the time of existence of the process and the physical is a patient of the process
(=> (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	If a collection is an instance of convoy and an agent is a member of the collection and another agent is a member of the collection and the agent is not equal to the other agent, then there exist a process, another process and an entity such that the process is an instance of transportation and the other process is an instance of transportation and the agent is an agent of the process and the other agent is an agent of the other process and the process ends up at the entity and the other process ends up at the 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	If a collection is an instance of web listing category and a physical is an instance of web listing and another physical is an instance of web listing and a process is an instance of object and another process is an instance of object and the physical is a member of the collection and the other physical is a member of the collection and the physical is a patient of the process and the other physical is a patient of the other process, then there exists a class such that the class is an instance of class and the process is an instance of the class and the other process is an instance of the class
(=> (and (instance ?CATEG WebListingCategory) (member ?LISTING ?CATEG)) (instance ?LISTING WebListing))	UXExperimentalTerms.kif 176-180	If a collection is an instance of web listing category and a physical is a member of the collection, then the physical is an instance of web listing

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 679-681	A member of a belief group is an attribute of an object if and only if the object is a member of the belief group
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism))	People.kif 705-707	Agnostic is an attribute of an object if and only if the object is a member of agnosticism
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect))	People.kif 1350-1352	Ahmadiyya muslim is an attribute of an object if and only if the object is a member of ahmadiyya sect
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism))	People.kif 1228-1230	Anglican is an attribute of an object if and only if the object is a member of anglicanism
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland))	People.kif 1236-1238	Anglican is an attribute of an object if and only if the object is a member of church of england
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism))	People.kif 723-725	Atheist is an attribute of an object if and only if the object is a member of atheism
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism))	People.kif 760-762	Bahai is an attribute of an object if and only if the object is a member of bahaism
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism))	People.kif 772-774	Buddhist is an attribute of an object if and only if the object is a member of buddhism
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism))	People.kif 1309-1311	Confucianist is an attribute of an object if and only if the object is a member of confucianism
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect))	People.kif 1364-1366	Druze muslim is an attribute of an object if and only if the object is a member of druze sect
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1250-1252	Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism))	People.kif 1321-1323	Hindu is an attribute of an object if and only if the object is a member of hinduism
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism))	People.kif 1414-1416	Jain is an attribute of an object if and only if the object is a member of jainism
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam))	People.kif 1333-1335	Muslim is an attribute of an object if and only if the object is a member of islam
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism))	People.kif 1460-1462	Neopaganismist is an attribute of an object if and only if the object is a member of neopaganism
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism))	People.kif 1264-1266	Protestant is an attribute of an object if and only if the object is a member of protestantism
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism))	People.kif 1431-1433	Religious jew is an attribute of an object if and only if the object is a member of judaism
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch))	People.kif 1286-1288	Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism))	People.kif 1278-1280	Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect))	People.kif 1380-1382	Shia muslim is an attribute of an object if and only if the object is a member of shiite sect
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto))	People.kif 1475-1477	Shintoist is an attribute of an object if and only if the object is a member of shinto
(<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism))	People.kif 1490-1492	Sikh is an attribute of an object if and only if the object is a member of sikhism
(<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect))	People.kif 1399-1401	Sunni muslim is an attribute of an object if and only if the object is a member of sunni sect
(<=> (attribute ?INDIVIDUAL Taoist) (member ?INDIVIDUAL Taoism))	People.kif 1505-1507	Taoist is an attribute of an object if and only if the object is a member of taoism
(<=> (attribute ?INDIVIDUAL Zoroastrian) (member ?INDIVIDUAL Zoroastrianism))	People.kif 1520-1522	Zoroastrian is an attribute of an object if and only if the object is a member of 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 1972-1980	There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity if the entity is a member of TwelveApostles holds during the time interval, then JesusOfNazareth is a friend of the entity holds during the time interval
(not (member Denmark EuropeanMonetaryUnion))	Government.kif 3195-3195	Denmark is not a member of european monetary union
(not (member Sweden EuropeanMonetaryUnion))	Government.kif 3196-3196	Sweden is not a member of european monetary union
(not (member UnitedKingdom EuropeanMonetaryUnion))	Government.kif 3197-3197	United kingdom is not a member of european monetary union

appearance as argument number 0

(member Austria EuropeanMonetaryUnion)	Government.kif 3175-3175	Austria is a member of european monetary union
(member BakerIsland UnitedStatesMinorOutlyingIslands)	Media.kif 2588-2588	Baker island is a member of UnitedStatesMinorOutlyingIslands
(member Belgium BeneluxEconomicUnion)	Government.kif 2879-2879	Belgium is a member of benelux economic union
(member Belgium EuropeanMonetaryUnion)	Government.kif 3176-3176	Belgium is a member of european monetary union
(member Cyprus EuropeanMonetaryUnion)	Government.kif 3177-3177	Cyprus is a member of european monetary union
(member Estonia EuropeanMonetaryUnion)	Government.kif 3178-3178	Estonia is a member of european monetary union
(member Finland EuropeanMonetaryUnion)	Government.kif 3179-3179	Finland is a member of european monetary union
(member France EuropeanMonetaryUnion)	Government.kif 3180-3180	France is a member of european monetary union
(member Germany EuropeanMonetaryUnion)	Government.kif 3181-3181	Germany is a member of european monetary union
(member Greece EuropeanMonetaryUnion)	Government.kif 3182-3182	Greece is a member of european monetary union
(member HowlandIsland UnitedStatesMinorOutlyingIslands)	Media.kif 2589-2589	Howland island is a member of UnitedStatesMinorOutlyingIslands
(member Ireland EuropeanMonetaryUnion)	Government.kif 3183-3183	Ireland is a member of european monetary union
(member Italy EuropeanMonetaryUnion)	Government.kif 3184-3184	Italy is a member of european monetary union
(member JarvisIsland UnitedStatesMinorOutlyingIslands)	Media.kif 2590-2590	Jarvis island is a member of UnitedStatesMinorOutlyingIslands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands)	Media.kif 2595-2595	Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
(member KingmanReef UnitedStatesMinorOutlyingIslands)	Media.kif 2591-2591	Kingman reef is a member of UnitedStatesMinorOutlyingIslands
(member Latvia EuropeanMonetaryUnion)	Government.kif 3185-3185	Latvia is a member of european monetary union
(member Lithuania EuropeanMonetaryUnion)	Government.kif 3186-3186	Lithuania is a member of european monetary union
(member Luxembourg BeneluxEconomicUnion)	Government.kif 2881-2881	Luxembourg is a member of benelux economic union
(member Luxembourg EuropeanMonetaryUnion)	Government.kif 3187-3187	Luxembourg is a member of european monetary union
(member Malta EuropeanMonetaryUnion)	Government.kif 3188-3188	Malta is a member of european monetary union
(member MidwayIslands UnitedStatesMinorOutlyingIslands)	Media.kif 2596-2596	Midway islands is a member of UnitedStatesMinorOutlyingIslands
(member NavassaIsland UnitedStatesMinorOutlyingIslands)	Media.kif 2592-2592	Navassa island is a member of UnitedStatesMinorOutlyingIslands
(member Netherlands BeneluxEconomicUnion)	Government.kif 2880-2880	Netherlands is a member of benelux economic union
(member Netherlands EuropeanMonetaryUnion)	Government.kif 3189-3189	Netherlands is a member of european monetary union

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: