member - Sigma 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 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	The number 1 argument of member is an instance of physical
(domain member 2 Collection)	Merge.kif 1290-1290	The number 2 argument of member is an instance of collection
(instance member AsymmetricRelation)	Merge.kif 1286-1286	member is an instance of asymmetric relation
(instance member BinaryPredicate)	Merge.kif 1287-1287	member is an instance of binary predicate
(instance member IntransitiveRelation)	Merge.kif 1288-1288	member is an instance of intransitive relation
(relatedInternalConcept member element)	Merge.kif 1292-1292	member is internally related to element
(relatedInternalConcept member instance)	Merge.kif 1291-1291	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 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 is a subrelation of member
(subrelation groupMember member)	Mid-level-ontology.kif 8716-8716	groupMember is a subrelation of member
(subrelation student member)	Mid-level-ontology.kif 18164-18164	student is a subrelation of member
(subrelation teacher member)	Mid-level-ontology.kif 18236-18236	teacher is a subrelation of member
(termFormat ChineseLanguage member "会员")	domainEnglishFormat.kif 36998-36998	teacher is a subrelation of member
(termFormat ChineseLanguage member "组员")	chinese_format.kif 154-154	teacher is a subrelation of member
(termFormat ChineseTraditionalLanguage member "會員")	domainEnglishFormat.kif 36997-36997	teacher is a subrelation of member
(termFormat EnglishLanguage member "member")	domainEnglishFormat.kif 36996-36996	teacher is a subrelation of member
(termFormat de member "mitglied")	terms-de.txt 57-57	teacher is a subrelation of member
(termFormat tg member "kasapi")	relations-tg.txt 359-359	teacher is a subrelation of member

antecedent

(<=> (member ?PART InternationalRedCrossAndRedCrescentMovement) (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))	Government.kif 3564-3566	A physical is a member of InternationalRedCrossAndRedCrescentMovement if and only if the physical is a member of InternationalFederationOfRedCrossAndRedCrescentSocieties
(=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry))	Economy.kif 506-510	If HighIncomeCountry is an attribute of an agent and the agent is not a member of OrganizationOfPetroleumExportingCountries, then economyType the agent and DevelopedCountry
(=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human))	UXExperimentalTerms.kif 2579-2583	If businessUnit an organization and 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 2659-2663	If crossFunctionalTeamFocus an entity and a CrossFunctionalTeam and a cognitive agent is a member of the CrossFunctionalTeam, then the cognitive agent is interested in the entity
(=> (and (equal ?X (ABPFn ?BUYINGS)) (member ?BUYING ?BUYINGS)) (instance ?BUYING Buying))	UXExperimentalTerms.kif 3230-3234	If equal a currency measure and ABPFn a collection and a physical is a member of the collection, then the physical is an instance of buying
(=> (and (equal ?X (ASPFn ?SELLINGS)) (member ?SELLING ?SELLINGS)) (instance ?SELLING Selling))	UXExperimentalTerms.kif 3275-3279	If equal a currency measure and ASPFn a collection and a physical is a member of the collection, then the physical is an instance of selling
(=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))	UXExperimentalTerms.kif 4042-4046	If experimentalTreatmentCollection a collection and an Experimenting and a process is a member of the collection, then experimentalVariableProcess the Experimenting and the 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 3533-3542	If firstTimeBuyers a time interval, a WebSite and a collection 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 eCommerceSite the financial transaction and the WebSite 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 AutonomousAgent))	UXExperimentalTerms.kif 3527-3531	If firstTimeBuyers a time interval, a WebSite and a collection 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 3544-3554	If firstTimeBuyers a time interval, a WebSite and a collection 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 eCommerceSite the financial transaction and the WebSite 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 3581-3590	If firstTimeSellers a time interval, a WebSite and a collection 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 eCommerceSite the financial transaction and the WebSite 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 AutonomousAgent))	UXExperimentalTerms.kif 3575-3579	If firstTimeSellers a time interval, a WebSite and a collection 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 3592-3602	If firstTimeSellers a time interval, a WebSite and a collection 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 eCommerceSite the financial transaction and the WebSite and the time of existence of the financial transaction happens earlier than the time interval
(=> (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	If fleetDeadWeightTonnage a collection and a real number LongTon(s) and vesselDeadWeightTonnage a WaterVehicle and another real number LongTon(s) and the WaterVehicle is a member of the collection, then there exists a list such that the list is an instance of list and the other real number is a member of the list and equal the real number and ListSumFn the list
(=> (and (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (instance ?PRODUCT ?PRODUCTTYPE) (member ?OBJ ?PRODUCT)) (instance ?OBJ ContentBearingPhysical))	Media.kif 3191-3196	If groupingTitle a symbolic string, a class and a language 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 ContentBearingPhysical
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 8724-8731	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 GroupOfPeople, then groupMember the entity and the other entity holds during the time position
(=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG)))	Government.kif 1729-1734	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 MemberFn 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 MerchantMarineFn the geopolitical area, then the physical is an instance of MerchantMarineShip
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar))	Government.kif 3184-3188	If a geopolitical area is an instance of nation and the geopolitical area is a member of EuropeanMonetaryUnion, then currencyType the geopolitical area 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 25123-25133	If a PlacingUnderArrest is an instance of PlacingUnderArrest and an agent is placed under arrest during the PlacingUnderArrest and the agent is an instance of GroupOfPeople and another agent is a member of the agent, then there exists the PlacingUnderArrest1 such that the PlacingUnderArrest1 is an instance of PlacingUnderArrest and the other agent is placed under arrest during the PlacingUnderArrest1 and the PlacingUnderArrest1 is a subprocess of the PlacingUnderArrest
(=> (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 3201-3214	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 Auctioning , then there exist a symbolic string and an entity_PURCHASE_AMOUNT such that total the class described by the symbolic string and the entity_PURCHASE_AMOUNT and equal AuctionGMBFn the collection and the entity_PURCHASE_AMOUNT
(=> (and (instance ?BROOD Brood) (member ?MEMBER1 ?BROOD) (member ?MEMBER2 ?BROOD)) (sibling ?MEMBER1 ?MEMBER2))	Mid-level-ontology.kif 8655-8660	If a collection is an instance of Brood and an organism is a member of the collection and another organism is a member of the collection, then the organism is a sibling of the other organism
(=> (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 3238-3258	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and equal the real number and GMBFn the collection and equal the integer and the number of instances in the class described by a symbolic string, then equal ABPFn the collection and the real 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 23977-23985	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 equal the agent and 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

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 a BeliefGroup is an attribute of an object if and only if the object is a member of the BeliefGroup
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism))	People.kif 702-704	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 1348-1350	AhmadiyyaMuslim is an attribute of an object if and only if the object is a member of AhmadiyyaSect
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism))	People.kif 1226-1228	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 1234-1236	Anglican is an attribute of an object if and only if the object is a member of ChurchOfEngland
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism))	People.kif 720-722	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 757-759	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 769-771	Buddhist is an attribute of an object if and only if the object is a member of Buddhism
(<=> (attribute ?INDIVIDUAL Capitalist) (member ?INDIVIDUAL Capitalism))	Economy.kif 925-927	Capitalist is an attribute of an object if and only if the object is a member of Capitalism
(<=> (attribute ?INDIVIDUAL Communism) (member ?INDIVIDUAL Communism))	Economy.kif 895-897	Communism is an attribute of an object if and only if the object is a member of Communism
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism))	People.kif 1307-1309	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 1362-1364	DruzeMuslim is an attribute of an object if and only if the object is a member of DruzeSect
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity))	People.kif 1248-1250	EasternOrthodoxChristian is an attribute of an object if and only if the object is a member of EasternOrthodoxChristianity
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism))	People.kif 1319-1321	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 1412-1414	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 1331-1333	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 1458-1460	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 1262-1264	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 1429-1431	ReligiousJew 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 1284-1286	RomanCatholic is an attribute of an object if and only if the object is a member of RomanCatholicChurch
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism))	People.kif 1276-1278	RomanCatholic is an attribute of an object if and only if the object is a member of RomanCatholicism
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect))	People.kif 1378-1380	ShiaMuslim is an attribute of an object if and only if the object is a member of ShiiteSect
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto))	People.kif 1473-1475	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 1488-1490	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 1397-1399	SunniMuslim is an attribute of an object if and only if the object is a member of SunniSect

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 friend the entity and JesusOfNazareth holds during the time interval
(not (member Denmark EuropeanMonetaryUnion))	Government.kif 3180-3180	Denmark is not a member of EuropeanMonetaryUnion
(not (member Sweden EuropeanMonetaryUnion))	Government.kif 3181-3181	Sweden is not a member of EuropeanMonetaryUnion
(not (member UnitedKingdom EuropeanMonetaryUnion))	Government.kif 3182-3182	UnitedKingdom is not a member of EuropeanMonetaryUnion

appearance as argument number 0

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

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

KB Term:			Term intersection

English Word: