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


(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 Die Zahl 1 Argument von mitglied ist ein fall von Physical %n{nicht}
(domain member 2 Collection) Merge.kif 1280-1280 Die Zahl 2 Argument von mitglied ist ein fall von Collection %n{nicht}
(instance member AsymmetricRelation) Merge.kif 1276-1276 mitglied ist ein fall von AsymmetricRelation %n{nicht}
(instance member BinaryPredicate) Merge.kif 1277-1277 mitglied ist ein fall von BinaryPredicate %n{nicht}
(instance member IntransitiveRelation) Merge.kif 1278-1278 mitglied ist ein fall von IntransitiveRelation %n{nicht}
(relatedInternalConcept member element) Merge.kif 1282-1282 mitglied ist innerlich verwandt mit element %n{nicht}
(relatedInternalConcept member instance) Merge.kif 1281-1281 mitglied ist innerlich verwandt mit instance %n{nicht}

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 2426-2426 associateInOrganization ist eine teilrelation von mitglied
(subrelation groupMember member) Mid-level-ontology.kif 7554-7554 groupMember ist eine teilrelation von mitglied
(subrelation student member) Mid-level-ontology.kif 16791-16791 student ist eine teilrelation von mitglied
(subrelation teacher member) Mid-level-ontology.kif 16863-16863 teacher ist eine teilrelation von mitglied
(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 3603-3605 Physical ist ein Mitglied von InternationalRedCrossAndRedCrescentMovement %n{nicht} genau dann wenn ** Physical ist ein Mitglied von InternationalFederationOfRedCrossAndRedCrescentSocieties %n{nicht}
(=>
    (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 3207-3212
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))
Mid-level-ontology.kif 7562-7569
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))
Government.kif 1767-1772
(=>
    (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 3223-3227
(=>
    (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 23494-23504
(=>
    (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 22348-22356
(=>
    (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 BeliefGroupMemberFn BeliefGroup ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von ** BeliefGroup %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))
People.kif 702-704 Agnostic ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Agnosticism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))
People.kif 1347-1349 AhmadiyyaMuslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von AhmadiyyaSect %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))
People.kif 1225-1227 Anglican ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Anglicanism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))
People.kif 1233-1235 Anglican ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von ChurchOfEngland %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))
People.kif 720-722 Atheist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Atheism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 757-759 Bahai ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Bahaism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))
People.kif 769-771 Buddhist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Buddhism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))
People.kif 1306-1308 Confucianist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Confucianism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))
People.kif 1361-1363 DruzeMuslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von DruzeSect %n{nicht}
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))
People.kif 1247-1249 EasternOrthodoxChristian ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von EasternOrthodoxChristianity %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))
People.kif 1318-1320 Hindu ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Hinduism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))
People.kif 1411-1413 Jain ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Jainism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1330-1332 Muslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Islam %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))
People.kif 1457-1459 Neopaganismist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Neopaganism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))
People.kif 1261-1263 Protestant ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Protestantism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1428-1430 ReligiousJew ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Judaism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1283-1285 RomanCatholic ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von RomanCatholicChurch %n{nicht}
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1275-1277 RomanCatholic ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von RomanCatholicism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))
People.kif 1377-1379 ShiaMuslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von ShiiteSect %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1472-1474 Shintoist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Shinto %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))
People.kif 1487-1489 Sikh ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Sikhism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))
People.kif 1396-1398 SunniMuslim ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von SunniSect %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))
People.kif 1502-1504 Taoist ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Taoism %n{nicht}
(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))
People.kif 1517-1519 Zoroastrian ist ein attribut von Object %n{nicht} genau dann wenn ** Object ist ein Mitglied von Zoroastrianism %n{nicht}

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 Es gibt TimeInterval um ** TimeInterval ist ein fall von TimeInterval %n{nicht} und ** TimeInterval beendet die zeit des Bestehens von JesusOfNazareth %n{nicht} und ** TimeInterval beginnt die zeit des Bestehens von TwelveApostles %n{nicht} und fuer alle entity
(not
    (member Denmark EuropeanMonetaryUnion))
Government.kif 3219-3219 Denmark ist ein Mitglied von EuropeanMonetaryUnion nicht
(not
    (member Sweden EuropeanMonetaryUnion))
Government.kif 3220-3220 Sweden ist ein Mitglied von EuropeanMonetaryUnion nicht
(not
    (member UnitedKingdom EuropeanMonetaryUnion))
Government.kif 3221-3221 UnitedKingdom ist ein Mitglied von EuropeanMonetaryUnion nicht

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


(member Austria EuropeanMonetaryUnion) Government.kif 3199-3199 Austria ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2618-2618 BakerIsland ist ein Mitglied von UnitedStatesMinorOutlyingIslands %n{nicht}
(member Belgium BeneluxEconomicUnion) Government.kif 2903-2903 Belgium ist ein Mitglied von BeneluxEconomicUnion %n{nicht}
(member Belgium EuropeanMonetaryUnion) Government.kif 3200-3200 Belgium ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member Cyprus EuropeanMonetaryUnion) Government.kif 3201-3201 Cyprus ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member Estonia EuropeanMonetaryUnion) Government.kif 3202-3202 Estonia ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member Finland EuropeanMonetaryUnion) Government.kif 3203-3203 Finland ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member France EuropeanMonetaryUnion) Government.kif 3204-3204 France ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member Germany EuropeanMonetaryUnion) Government.kif 3205-3205 Germany ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member Greece EuropeanMonetaryUnion) Government.kif 3206-3206 Greece ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2619-2619 HowlandIsland ist ein Mitglied von UnitedStatesMinorOutlyingIslands %n{nicht}
(member Ireland EuropeanMonetaryUnion) Government.kif 3207-3207 Ireland ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member Italy EuropeanMonetaryUnion) Government.kif 3208-3208 Italy ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 JarvisIsland ist ein Mitglied von UnitedStatesMinorOutlyingIslands %n{nicht}
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2625-2625 JohnstonAtoll ist ein Mitglied von UnitedStatesMinorOutlyingIslands %n{nicht}
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 KingmanReef ist ein Mitglied von UnitedStatesMinorOutlyingIslands %n{nicht}
(member Latvia EuropeanMonetaryUnion) Government.kif 3209-3209 Latvia ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member Lithuania EuropeanMonetaryUnion) Government.kif 3210-3210 Lithuania ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member Luxembourg BeneluxEconomicUnion) Government.kif 2905-2905 Luxembourg ist ein Mitglied von BeneluxEconomicUnion %n{nicht}
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3211-3211 Luxembourg ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member Malta EuropeanMonetaryUnion) Government.kif 3212-3212 Malta ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2626-2626 MidwayIslands ist ein Mitglied von UnitedStatesMinorOutlyingIslands %n{nicht}
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 NavassaIsland ist ein Mitglied von UnitedStatesMinorOutlyingIslands %n{nicht}
(member Netherlands BeneluxEconomicUnion) Government.kif 2904-2904 Netherlands ist ein Mitglied von BeneluxEconomicUnion %n{nicht}
(member Netherlands EuropeanMonetaryUnion) Government.kif 3213-3213 Netherlands ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}

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