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
-------------------------


s__documentation(s__member__m,s__ChineseLanguage,'这是对属于 Collection 相同部分的专业常识概念。例如: 羊群中的每只羊,跟羊群间,是成员关系。')

Merge.kif 1303-1304
s__documentation(s__member__m,s__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 1300-1302
s__domain(s__member__m,1,s__Object)

Merge.kif 1296-1296 The number 1 argument of member is an instance of object
s__domain(s__member__m,2,s__Collection)

Merge.kif 1297-1297 The number 2 argument of member is an instance of collection
s__instance(s__member__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 1294-1294 member is an instance of asymmetric relation
s__instance(s__member__m,s__IntransitiveRelation)

s__instance(s__IntransitiveRelation,s__SetOrClass)

Merge.kif 1295-1295 member is an instance of intransitive relation
s__relatedInternalConcept(s__member__m,s__element__m)

Merge.kif 1299-1299 member is internally related to element
s__relatedInternalConcept(s__member__m,s__instance__m)

Merge.kif 1298-1298 member is internally related to instance
s__subrelation(s__member__m,s__part__m)

Merge.kif 1293-1293 member is a subrelation of part

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__member__m,'%1 %n 是 %2 的 member')

chinese_format.kif 153-153
s__format(s__EnglishLanguage,s__member__m,'%1 is %n a member of %2')

english_format.kif 103-103
s__format(s__FrenchLanguage,s__member__m,'%1 est %n un membre de %2')

french_format.kif 97-97
s__format(s__ItalianLanguage,s__member__m,'%1 � %n un membro di %2')

relations-it.txt 182-182
s__format(s__PortugueseLanguage,s__member__m,'%1 e %n membro de %2')

portuguese_format.kif 49-49
s__format(s__ar__m,s__member__m,'%1 هو %n عُضْو في %2')

arabic_format.kif 47-47
s__format(s__cz__m,s__member__m,'%1 %p{je} %n{nen�} a �lenem %2')

relations-cz.txt 69-69
s__format(s__de__m,s__member__m,'%1 ist ein Mitglied von %2 %n{nicht}')

relations-de.txt 185-185
s__format(s__hi__m,s__member__m,'%1 %2 kaa sadasya %n hai')

relations-hindi.txt 220-220
s__format(s__tg__m,s__member__m,'%1 %n ay ang kasapi ng %2')

relations-tg.txt 358-358
s__subrelation(s__associateInOrganization__m,s__member__m)

Government.kif 2373-2373 associate in organization is a subrelation of member
s__subrelation(s__groupMember__m,s__member__m)

Mid-level-ontology.kif 7258-7258 group member is a subrelation of member
s__subrelation(s__student__m,s__member__m)

Mid-level-ontology.kif 14128-14128 student is a subrelation of member
s__subrelation(s__teacher__m,s__member__m)

Mid-level-ontology.kif 14159-14159 teacher is a subrelation of member
s__termFormat(s__ChineseLanguage,s__member__m,'组员')

chinese_format.kif 154-154 "组员" is the printable form of member in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__member__m,'member')

domainEnglishFormat.kif 6585-6585 "member" is the printable form of member in english language
s__termFormat(s__ar__m,s__member__m,'«عُضْو في»')

arabic_format.kif 497-497 "«عُضْو في»" is the printable form of member in ar
s__termFormat(s__tg__m,s__member__m,'kasapi')

relations-tg.txt 359-359 "kasapi" is the printable form of member in tg

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


( ! [V__PART] :
   (s__member(V__PART,s__InternationalRedCrossAndRedCrescentMovement) <=>
     s__member(V__PART,s__InternationalFederationOfRedCrossAndRedCrescentSocieties))
   )

Government.kif 3540-3542 ?PART is a member of international red cross and red crescent movement if and only if ?PART is a member of international federation of red cross and red crescent societies
( ! [V__BUYINGS,V__BUYING] :
   ((s__ABPFn(V__BUYINGS)
     &
     s__member(V__BUYING,V__BUYINGS))
=>
s__instance(V__BUYING,s__Buying))
)

UXExperimentalTerms.kif 3439-3443
( ! [V__SELLINGS,V__SELLING] :
   ((s__ASPFn(V__SELLINGS)
     &
     s__member(V__SELLING,V__SELLINGS))
=>
s__instance(V__SELLING,s__Selling))
)

UXExperimentalTerms.kif 3482-3486
( ! [V__AREA] :
   ((s__attribute(V__AREA,s__HighIncomeCountry) &
       (~ s__member(V__AREA,s__OrganizationOfPetroleumExportingCountries)))
     =>
     s__economyType(V__AREA,s__DevelopedCountry))
   )

Economy.kif 501-505
( ! [V__ORG,V__BUSINESS,V__MEMBER] :
   ((s__businessUnit(V__ORG,V__BUSINESS)
     &
     s__member(V__MEMBER,V__ORG))
=>
s__instance(V__MEMBER,s__Human))
)

UXExperimentalTerms.kif 2787-2791
( ! [V__FOCUS,V__TEAM,V__MEMBER] :
   ((s__crossFunctionalTeamFocus(V__FOCUS,V__TEAM)
     &
     s__member(V__MEMBER,V__TEAM))
=>
s__inScopeOfInterest(V__MEMBER,V__FOCUS))
)

UXExperimentalTerms.kif 2867-2871
( ! [V__COLLECTION,V__EXPERIMENTING,V__PROCESS,V__EXPERIMENT] :
   ((s__experimentalTreatmentCollection(V__COLLECTION,V__EXPERIMENTING)
     &
     s__member(V__PROCESS,V__COLLECTION))
=>
s__experimentalVariableProcess(V__EXPERIMENT,V__PROCESS))
)

UXExperimentalTerms.kif 4239-4243
  • If ?COLLECTION are the processes in ?EXPERIMENTING and ?PROCESS is a member of ?COLLECTION,
  • then ?PROCESS is a process in ?EXPERIMENT
( ! [V__INT,V__SITE,V__COLL,V__MEMBER,V__INTE] :
   ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
(? [V__BUYING] :
   (s__instance(V__BUYING,s__Buying) &
     s__agent(V__BUYING,V__MEMBER)
   &
   s__eCommerceSite(V__BUYING,V__SITE)
&
s__during(s__WhenFn(V__BUYING)
,V__INTE))))
)

UXExperimentalTerms.kif 3731-3740
( ! [V__INT,V__SITE,V__COLL,V__MEMBER] :
   ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
s__instance(V__MEMBER,s__Agent))
)

UXExperimentalTerms.kif 3725-3729
( ! [V__INT,V__SITE,V__COLL,V__MEMBER] :
   ((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
(~ (? [V__BUYING] :
     (s__instance(V__BUYING,s__Buying) &
       s__agent(V__BUYING,V__MEMBER)
     &
     s__eCommerceSite(V__BUYING,V__SITE)
   &
   s__earlier(s__WhenFn(V__BUYING)
,V__INT)))))
)

UXExperimentalTerms.kif 3742-3752
( ! [V__INT,V__SITE,V__COLL,V__MEMBER,V__INTE] :
   ((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
(? [V__SELLING] :
   (s__instance(V__SELLING,s__Selling) &
     s__agent(V__SELLING,V__MEMBER)
   &
   s__eCommerceSite(V__SELLING,V__SITE)
&
s__during(s__WhenFn(V__SELLING)
,V__INTE))))
)

UXExperimentalTerms.kif 3779-3788
( ! [V__INT,V__SITE,V__COLL,V__MEMBER] :
   ((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
s__instance(V__MEMBER,s__Agent))
)

UXExperimentalTerms.kif 3773-3777
( ! [V__INT,V__SITE,V__COLL,V__MEMBER] :
   ((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
     &
     s__member(V__MEMBER,V__COLL))
=>
(~ (? [V__SELLING] :
     (s__instance(V__SELLING,s__Selling) &
       s__agent(V__SELLING,V__MEMBER)
     &
     s__eCommerceSite(V__SELLING,V__SITE)
   &
   s__earlier(s__WhenFn(V__SELLING)
,V__INT)))))
)

UXExperimentalTerms.kif 3790-3800
( ! [V__STRING,V__PRODUCTTYPE,V__LANGUAGE,V__PRODUCT,V__OBJ] :
   ((s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE)
     &
     s__instance(V__PRODUCT,V__PRODUCTTYPE)
   &
   s__member(V__OBJ,V__PRODUCT))
=>
s__instance(V__OBJ,s__ContentBearingPhysical))
)

Media.kif 3122-3127
( ! [V__T1,V__OBJ,V__GROUP] :
   ((s__holdsDuring(V__T1,'s__member(V__OBJ,V__GROUP)')
     &
     s__instance(V__OBJ,s__Human) &
     s__instance(V__GROUP,s__GroupOfPeople))
   =>
   s__holdsDuring(V__T1,'s__groupMember(V__OBJ,V__GROUP)'))
)

Mid-level-ontology.kif 7266-7273
( ! [V__AGENT,V__ORG] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__ORG,s__Organization) &
       s__member(V__AGENT,V__ORG))
   =>
   s__attribute(V__AGENT,s__MemberFn(V__ORG)))
)

Government.kif 1727-1732
( ! [V__AREA,V__SHIP] :
   ((s__instance(V__AREA,s__GeopoliticalArea) &
       s__member(V__SHIP,s__MerchantMarineFn(V__AREA)))
=>
s__instance(V__SHIP,s__MerchantMarineShip))
)

Transportation.kif 919-923
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Nation) &
       s__member(V__AREA,s__EuropeanMonetaryUnion))
     =>
     s__currencyType(V__AREA,s__EuroDollar))
   )

Government.kif 3160-3164
( ! [V__ARREST,V__AGENT,V__MEMBER] :
   ((s__instance(V__ARREST,s__PlacingUnderArrest) &
       s__arrested(V__ARREST,V__AGENT)
     &
     s__instance(V__AGENT,s__GroupOfPeople) &
     s__member(V__MEMBER,V__AGENT))
=>
(? [V__ARREST1] :
   (s__instance(V__ARREST1,s__PlacingUnderArrest) &
     s__arrested(V__ARREST1,V__MEMBER)
   &
   s__subProcess(V__ARREST1,V__ARREST))))
)

Mid-level-ontology.kif 21013-21023
( ! [V__AUCTIONS,V__AMOUNT,V__AUCTION,V__TOTAL_PURCHASE_AMOUNT,V__AUCTIONSS] :
   ((s__instance(V__AUCTIONS,s__Collection) &
       (! [V__AUC] :
         (s__member(V__AUC,V__AUCTIONS)
         =>
         s__instance(V__AUC,s__Auctioning))))
   =>
   (s__total(s__KappaFn(V__AMOUNT,'(s__instance(V__AUCTION,s__Auctioning) & s__member(V__AUCTION,V__AUCTIONS) & s__transactionAmount(V__AUCTION,V__AMOUNT))')
  ,V__TOTAL_PURCHASE_AMOUNT)
&
(s__AuctionGMBFn(V__AUCTIONSS)
= V__TOTAL_PURCHASE_AMOUNT)))
)

UXExperimentalTerms.kif 3407-3422
( ! [V__BP,V__B] :
   ((s__instance(V__BP,s__BusinessPark) &
       s__member(V__B,V__BP))
   =>
   s__instance(V__B,s__Business))
)

Society.kif 378-382
( ! [V__BSC,V__BS1,V__BS2,V__OWNER1,V__OWNER2] :
   ((s__instance(V__BSC,s__BookStoreChain) &
       s__member(V__BS1,V__BSC)
     &
     s__member(V__BS2,V__BSC)
   &
   s__possesses(V__BS1,V__OWNER1)
&
s__possesses(V__BS2,V__OWNER2))
=>
(V__OWNER1 = V__OWNER2))
)

Society.kif 490-497
( ! [V__BUYINGS,V__GMB,V__TOTAL,V__ITEM] :
   ((s__instance(V__BUYINGS,s__Collection) &
       s__instance(V__GMB,s__CurrencyMeasure) &
       s__instance(V__TOTAL,s__RealNumber) &
       (V__GMB = s__GMBFn(V__BUYINGS))
     &
     (V__TOTAL = s__CardinalityFn(s__KappaFn(V__ITEM,'(s__instance(V__ITEM,s__Object) & (? [V__BUYING] : (s__member(V__BUYING,V__BUYINGS) & s__patient(V__ITEM,V__BUYING))))'))))
=>
(s__ABPFn(V__BUYINGS)
= divide(V__GMB,V__TOTAL)))
)

UXExperimentalTerms.kif 3445-3465
( ! [V__C,V__VEH] :
   ((s__instance(V__C,s__Convoy) &
       s__member(V__VEH,V__C))
   =>
   (? [V__DRIVE] :
     (s__instance(V__DRIVE,s__Driving) &
       s__overlapsTemporally(s__WhenFn(V__DRIVE)
    ,s__WhenFn(V__C))
&
s__patient(V__DRIVE,V__VEH))))
)

Mid-level-ontology.kif 19772-19780
( ! [V__C,V__X1,V__X2] :
   ((s__instance(V__C,s__Convoy) &
       s__member(V__X1,V__C)
     &
     s__member(V__X2,V__C)
   &
   (~ (V__X1 = V__X2)))
=>
(? [V__P1,V__P2,V__D] :
   (s__instance(V__P1,s__Transportation) &
     s__instance(V__P2,s__Transportation) &
     s__agent(V__P1,V__X1)
   &
   s__agent(V__P2,V__X2)
&
s__destination(V__P1,V__D)
&
s__destination(V__P2,V__D))))
)

Military.kif 108-122

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__INDIVIDUAL,V__CH] :
   ((s__attribute(V__INDIVIDUAL,V__CH)
     &
     s__instance(V__CH,s__Christian))
   <=>
   s__member(V__INDIVIDUAL,s__Christianity))
)

People.kif 797-801 ?CH is an attribute of ?INDIVIDUAL and ?CH is an instance of christian if and only if ?INDIVIDUAL is a member of christianity
( ! [V__I,V__BG] :
   (s__attribute(V__I,s__BeliefGroupMemberFn(V__BG))
<=>
s__member(V__I,V__BG))
)

People.kif 678-680 A member of ?BG is an attribute of ?I if and only if ?I is a member of ?BG
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Agnostic) <=>
     s__member(V__INDIVIDUAL,s__Agnosticism))
   )

People.kif 704-706 Agnostic is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of agnosticism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__AhmadiyyaMuslim) <=>
     s__member(V__INDIVIDUAL,s__AhmadiyyaSect))
   )

People.kif 1348-1350 Ahmadiyya muslim is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of ahmadiyya sect
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Anglican) <=>
     s__member(V__INDIVIDUAL,s__Anglicanism))
   )

People.kif 1227-1229 Anglican is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of anglicanism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Anglican) <=>
     s__member(V__INDIVIDUAL,s__ChurchOfEngland))
   )

People.kif 1235-1237 Anglican is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of church of england
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Atheist) <=>
     s__member(V__INDIVIDUAL,s__Atheism))
   )

People.kif 722-724 Atheist is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of atheism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Bahai) <=>
     s__member(V__INDIVIDUAL,s__Bahaism))
   )

People.kif 759-761 Bahai is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of bahaism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Buddhist) <=>
     s__member(V__INDIVIDUAL,s__Buddhism))
   )

People.kif 771-773 Buddhist is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of buddhism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Confucianist) <=>
     s__member(V__INDIVIDUAL,s__Confucianism))
   )

People.kif 1308-1310 Confucianist is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of confucianism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__DruzeMuslim) <=>
     s__member(V__INDIVIDUAL,s__DruzeSect))
   )

People.kif 1361-1363 Druze muslim is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of druze sect
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__EasternOrthodoxChristian) <=>
     s__member(V__INDIVIDUAL,s__EasternOrthodoxChristianity))
   )

People.kif 1249-1251 Eastern orthodox christian is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of eastern orthodox christianity
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Hindu) <=>
     s__member(V__INDIVIDUAL,s__Hinduism))
   )

People.kif 1320-1322 Hindu is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of hinduism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Jain) <=>
     s__member(V__INDIVIDUAL,s__Jainism))
   )

People.kif 1409-1411 Jain is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of jainism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Muslim) <=>
     s__member(V__INDIVIDUAL,s__Islam))
   )

People.kif 1332-1334 Muslim is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of islam
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Neopaganismist) <=>
     s__member(V__INDIVIDUAL,s__Neopaganism))
   )

People.kif 1455-1457 Neopaganismist is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of neopaganism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Protestant) <=>
     s__member(V__INDIVIDUAL,s__Protestantism))
   )

People.kif 1263-1265 Protestant is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of protestantism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__ReligiousJew) <=>
     s__member(V__INDIVIDUAL,s__Judaism))
   )

People.kif 1426-1428 Religious jew is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of judaism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__RomanCatholic) <=>
     s__member(V__INDIVIDUAL,s__RomanCatholicChurch))
   )

People.kif 1285-1287 Roman catholic is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of roman catholic church
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__RomanCatholic) <=>
     s__member(V__INDIVIDUAL,s__RomanCatholicism))
   )

People.kif 1277-1279 Roman catholic is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of roman catholicism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__ShiaMuslim) <=>
     s__member(V__INDIVIDUAL,s__ShiiteSect))
   )

People.kif 1376-1378 Shia muslim is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of shiite sect
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Shintoist) <=>
     s__member(V__INDIVIDUAL,s__Shinto))
   )

People.kif 1470-1472 Shintoist is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of shinto
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Sikh) <=>
     s__member(V__INDIVIDUAL,s__Sikhism))
   )

People.kif 1485-1487 Sikh is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of sikhism
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__SunniMuslim) <=>
     s__member(V__INDIVIDUAL,s__SunniSect))
   )

People.kif 1394-1396 Sunni muslim is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of sunni sect
( ! [V__INDIVIDUAL] :
   (s__attribute(V__INDIVIDUAL,s__Taoist) <=>
     s__member(V__INDIVIDUAL,s__Taoism))
   )

People.kif 1500-1502 Taoist is an attribute of ?INDIVIDUAL if and only if ?INDIVIDUAL is a member of taoism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(? [V__TIME] :
   (s__instance(V__TIME,s__TimeInterval) &
     s__finishes(V__TIME,s__WhenFn(s__JesusOfNazareth))
   &
   s__starts(V__TIME,s__WhenFn(s__TwelveApostles))
&
(! [V__MEM] :
   (s__holdsDuring(V__TIME,'s__member(V__MEM,s__TwelveApostles)')
   =>
   s__holdsDuring(V__TIME,'s__friend(V__MEM,s__JesusOfNazareth)')))))

Media.kif 1972-1980 There exists ?TIME such that ?TIME is an instance of time interval and ?TIME finishes the time of existence of JesusOfNazareth and ?TIME starts the time of existence of TwelveApostles and for all ?MEM
(~ s__member(s__Denmark,s__EuropeanMonetaryUnion))

Government.kif 3156-3156 Denmark is not a member of european monetary union
(~ s__member(s__Sweden,s__EuropeanMonetaryUnion))

Government.kif 3157-3157 Sweden is not a member of european monetary union
(~ s__member(s__UnitedKingdom,s__EuropeanMonetaryUnion))

Government.kif 3158-3158 United kingdom is not a member of european monetary union

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


s__member(s__Austria,s__EuropeanMonetaryUnion)

Government.kif 3136-3136 Austria is a member of european monetary union
s__member(s__BakerIsland,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2588-2588 Baker island is a member of UnitedStatesMinorOutlyingIslands
s__member(s__Belgium,s__BeneluxEconomicUnion)

Government.kif 2840-2840 Belgium is a member of benelux economic union
s__member(s__Belgium,s__EuropeanMonetaryUnion)

Government.kif 3137-3137 Belgium is a member of european monetary union
s__member(s__Cyprus,s__EuropeanMonetaryUnion)

Government.kif 3138-3138 Cyprus is a member of european monetary union
s__member(s__Estonia,s__EuropeanMonetaryUnion)

Government.kif 3139-3139 Estonia is a member of european monetary union
s__member(s__Finland,s__EuropeanMonetaryUnion)

Government.kif 3140-3140 Finland is a member of european monetary union
s__member(s__France,s__EuropeanMonetaryUnion)

Government.kif 3141-3141 France is a member of european monetary union
s__member(s__Germany,s__EuropeanMonetaryUnion)

Government.kif 3142-3142 Germany is a member of european monetary union
s__member(s__Greece,s__EuropeanMonetaryUnion)

Government.kif 3143-3143 Greece is a member of european monetary union
s__member(s__HowlandIsland,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2589-2589 Howland island is a member of UnitedStatesMinorOutlyingIslands
s__member(s__Ireland,s__EuropeanMonetaryUnion)

Government.kif 3144-3144 Ireland is a member of european monetary union
s__member(s__Italy,s__EuropeanMonetaryUnion)

Government.kif 3145-3145 Italy is a member of european monetary union
s__member(s__JarvisIsland,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2590-2590 Jarvis island is a member of UnitedStatesMinorOutlyingIslands
s__member(s__JohnstonAtoll,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2595-2595 Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
s__member(s__KingmanReef,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2591-2591 Kingman reef is a member of UnitedStatesMinorOutlyingIslands
s__member(s__Latvia,s__EuropeanMonetaryUnion)

Government.kif 3146-3146 Latvia is a member of european monetary union
s__member(s__Lithuania,s__EuropeanMonetaryUnion)

Government.kif 3147-3147 Lithuania is a member of european monetary union
s__member(s__Luxembourg,s__BeneluxEconomicUnion)

Government.kif 2842-2842 Luxembourg is a member of benelux economic union
s__member(s__Luxembourg,s__EuropeanMonetaryUnion)

Government.kif 3148-3148 Luxembourg is a member of european monetary union
s__member(s__Malta,s__EuropeanMonetaryUnion)

Government.kif 3149-3149 Malta is a member of european monetary union
s__member(s__MidwayIslands,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2596-2596 Midway islands is a member of UnitedStatesMinorOutlyingIslands
s__member(s__NavassaIsland,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2592-2592 Navassa island is a member of UnitedStatesMinorOutlyingIslands
s__member(s__Netherlands,s__BeneluxEconomicUnion)

Government.kif 2841-2841 Netherlands is a member of benelux economic union
s__member(s__Netherlands,s__EuropeanMonetaryUnion)

Government.kif 3150-3150 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners