Browsing Interface		 [ Home |  Graph |   ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - member
member

appearance as argument number 1
-------------------------


(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 1078-1080
(domain member 1 SelfConnectedObject) Merge.kif 1074-1074 The number 1 argument of member is an instance of self connected object
(domain member 2 Collection) Merge.kif 1075-1075 The number 2 argument of member is an instance of collection
(instance member AsymmetricRelation) Merge.kif 1072-1072 member is an instance of asymmetric relation
(instance member IntransitiveRelation) Merge.kif 1073-1073 member is an instance of intransitive relation
(relatedInternalConcept member element) Merge.kif 1077-1077 member is internally related to element
(relatedInternalConcept member instance) Merge.kif 1076-1076 member is internally related to instance
(subrelation member associateInOrganization) Government.kif 2221-2221 member is a subrelation of associate in organization
(subrelation member part) Merge.kif 1071-1071 member is a subrelation of part

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


(format EnglishLanguage member "%1 is %n a member of %2") english_format.kif 95-95
(subrelation groupMember member) Mid-level-ontology.kif 4951-4951 group member is a subrelation of member
(subrelation student member) Mid-level-ontology.kif 10554-10554 student is a subrelation of member
(subrelation teacher member) Mid-level-ontology.kif 10568-10568 teacher is a subrelation of member
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 5960-5960 term format english language, member and "member"

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


(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))		 Government.kif 3387-3389 A self connected object is a member of international red cross and red crescent movement if and only if self connected object is a member of international federation of red cross and red crescent societies
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))		 Economy.kif 496-500
(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))		 Media.kif 3884-3889
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))		 Media.kif 1497-1502
(=>
    (and
        (instance ?AGENT Agent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1615-1620
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (instance ?SHIP MerchantMarineShip))		 Transportation.kif 937-941
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))		 Government.kif 3007-3011
(=>
    (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 16434-16444
(=>
    (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 15255-15263
(=>
    (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 ?D Demonstration)
        (agent ?D ?G)
        (member ?A1 ?G)
        (member ?A2 ?G))
    (exists (?P)
        (and
            (believes ?A1 ?P)
            (believes ?A2 ?P))))		 MilitaryProcesses.kif 2634-2643
(=>
    (and
        (instance ?F ComputerDirectory)
        (member ?M ?F))
    (instance ?M ComputerFile))		 engineering.kif 1244-1248
(=>
    (and
        (instance ?F MilitaryForce)
        (instance ?P Human)
        (instance ?I Imprisoning)
        (member ?P ?F)
        (agent ?I ?E)
        (patient ?I ?P)
        (enemy ?E ?P)
        (located ?I ?LOC)
        (attribute ?LOC WarState))
    (attribute ?P PrisonerOfWar))		 MilitaryPersons.kif 285-296
(=>
    (and
        (instance ?FS FileSystem)
        (member ?M ?FS))
    (instance ?M ComputerFile))		 engineering.kif 1237-1241
(=>
    (and
        (instance ?GOLGI GolgiApparatus)
        (member ?PART ?GOLGI))
    (instance ?PART CellPart))		 VirusProteinAndCellPart.kif 473-477
(=>
    (and
        (instance ?GROUP CellInternalMembraneGroup)
        (member ?MEMBRANE ?GROUP))
    (instance ?MEMBRANCE CellMembraneInternal))		 VirusProteinAndCellPart.kif 496-500
(=>
    (and
        (instance ?GROUP DramaticCast)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (holdsDuring ?T1
        (attribute ?MEM Actor)))		 Media.kif 1491-1495
(=>
    (and
        (instance ?GROUP Group)
        (member ?MEMB ?GROUP))
    (instance ?MEMB Agent))		 Merge.kif 13169-13173
(=>
    (and
        (instance ?GROUP GroupOfPeople)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER Human))		 Merge.kif 13179-13183
(=>
    (and
        (instance ?GROUP MusicalGroup)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (holdsDuring ?T1
        (attribute ?MEM Musician)))		 Media.kif 1516-1520
(=>
    (and
        (instance ?L SportsLeague)
        (member ?M ?L))
    (instance ?M SportsTeam))		 Mid-level-ontology.kif 4441-4445
(=>
    (and
        (instance ?M ShoppingMall)
        (member ?S ?M))
    (instance ?S RetailStore))		 Mid-level-ontology.kif 5127-5131
(=>
    (and
        (instance ?MC MilitaryConvoy)
        (member ?X ?MC))
    (instance ?X MilitaryVehicle))		 Military.kif 102-106
(=>
    (and
        (instance ?MUSIC VocalMusic)
        (agent ?MUSIC ?GROUP)
        (instance ?GROUP Choir)
        (holdsDuring ?MUSIC
            (member ?MEM ?GROUP)))
    (exists (?SING)
        (and
            (instance ?SING Singing)
            (subProcess ?SING ?MUSIC)
            (agent ?SING ?MEM))))		 Media.kif 1546-1556
(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (holdsDuring ?T1
            (member ?X ?ORG))
        (instance ?X Human))
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson)))		 Mid-level-ontology.kif 15424-15429

Display limited to 25 items. Show next 25

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


(<=>
    (attribute ?I
        (BeliefGroupMemberFn ?BG))
    (member ?I ?BG))		 People.kif 679-681 BeliefGroupMemberFn a belief group is an attribute of a self connected object if and only if self connected object is a member of belief group
(<=>
    (attribute ?INDIVIDUAL Agnostic)
    (member ?INDIVIDUAL Agnosticism))		 People.kif 722-724 Agnostic is an attribute of a self connected object if and only if self connected object is a member of agnosticism
(<=>
    (attribute ?INDIVIDUAL AhmadiyyaMuslim)
    (member ?INDIVIDUAL AhmadiyyaSect))		 People.kif 1267-1269 Ahmadiyya muslim is an attribute of a self connected object if and only if self connected object is a member of ahmadiyya sect
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL Anglicanism))		 People.kif 1163-1165 Anglican is an attribute of a self connected object if and only if self connected object is a member of anglicanism
(<=>
    (attribute ?INDIVIDUAL Anglican)
    (member ?INDIVIDUAL ChurchOfEngland))		 People.kif 1171-1173 Anglican is an attribute of a self connected object if and only if self connected object is a member of church of england
(<=>
    (attribute ?INDIVIDUAL Atheist)
    (member ?INDIVIDUAL Atheism))		 People.kif 740-742 Atheist is an attribute of a self connected object if and only if self connected object is a member of atheism
(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))		 People.kif 777-779 Bahai is an attribute of a self connected object if and only if self connected object is a member of bahaism
(<=>
    (attribute ?INDIVIDUAL Buddhist)
    (member ?INDIVIDUAL Buddhism))		 People.kif 789-791 Buddhist is an attribute of a self connected object if and only if self connected object is a member of buddhism
(<=>
    (attribute ?INDIVIDUAL Christian)
    (member ?INDIVIDUAL Christianity))		 People.kif 803-805 Christian is an attribute of a self connected object if and only if self connected object is a member of christianity
(<=>
    (attribute ?INDIVIDUAL Confucianist)
    (member ?INDIVIDUAL Confucianism))		 People.kif 1230-1232 Confucianist is an attribute of a self connected object if and only if self connected object is a member of confucianism
(<=>
    (attribute ?INDIVIDUAL DruzeMuslim)
    (member ?INDIVIDUAL DruzeSect))		 People.kif 1280-1282 Druze muslim is an attribute of a self connected object if and only if self connected object is a member of druze sect
(<=>
    (attribute ?INDIVIDUAL EasternOrthodoxChristian)
    (member ?INDIVIDUAL EasternOrthodoxChristianity))		 People.kif 1184-1186 Eastern orthodox christian is an attribute of a self connected object if and only if self connected object is a member of eastern orthodox christianity
(<=>
    (attribute ?INDIVIDUAL Hindu)
    (member ?INDIVIDUAL Hinduism))		 People.kif 1242-1244 Hindu is an attribute of a self connected object if and only if self connected object is a member of hinduism
(<=>
    (attribute ?INDIVIDUAL Jain)
    (member ?INDIVIDUAL Jainism))		 People.kif 1325-1327 Jain is an attribute of a self connected object if and only if self connected object is a member of jainism
(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))		 People.kif 1254-1256 Muslim is an attribute of a self connected object if and only if self connected object is a member of islam
(<=>
    (attribute ?INDIVIDUAL Neopaganismist)
    (member ?INDIVIDUAL Neopaganism))		 People.kif 1357-1359 Neopaganismist is an attribute of a self connected object if and only if self connected object is a member of neopaganism
(<=>
    (attribute ?INDIVIDUAL Protestant)
    (member ?INDIVIDUAL Protestantism))		 People.kif 1197-1199 Protestant is an attribute of a self connected object if and only if self connected object is a member of protestantism
(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))		 People.kif 1342-1344 Religious jew is an attribute of a self connected object if and only if self connected object is a member of judaism
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1218-1220 Roman catholic is an attribute of a self connected object if and only if self connected object is a member of roman catholic church
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1210-1212 Roman catholic is an attribute of a self connected object if and only if self connected object is a member of roman catholicism
(<=>
    (attribute ?INDIVIDUAL ShiaMuslim)
    (member ?INDIVIDUAL ShiiteSect))		 People.kif 1295-1297 Shia muslim is an attribute of a self connected object if and only if self connected object is a member of shiite sect
(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))		 People.kif 1372-1374 Shintoist is an attribute of a self connected object if and only if self connected object is a member of shinto
(<=>
    (attribute ?INDIVIDUAL Sikh)
    (member ?INDIVIDUAL Sikhism))		 People.kif 1387-1389 Sikh is an attribute of a self connected object if and only if self connected object is a member of sikhism
(<=>
    (attribute ?INDIVIDUAL SunniMuslim)
    (member ?INDIVIDUAL SunniSect))		 People.kif 1310-1312 Sunni muslim is an attribute of a self connected object if and only if self connected object is a member of sunni sect
(<=>
    (attribute ?INDIVIDUAL Taoist)
    (member ?INDIVIDUAL Taoism))		 People.kif 1402-1404 Taoist is an attribute of a self connected object if and only if self connected object is a member of taoism

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 1721-1729 There exists a time interval so that time interval is an instance of time interval and time interval finishes the time of existence of JesusOfNazareth and time interval starts the time of existence of TwelveApostles and for all a human
(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3003-3003 Denmark is not a member of european monetary union
(not
    (member Sweden EuropeanMonetaryUnion))		 Government.kif 3004-3004 Sweden is not a member of european monetary union
(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3005-3005 United kingdom is not a member of european monetary union

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


(member Austria EuropeanMonetaryUnion) Government.kif 2990-2990 Austria is a member of european monetary union
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2326-2326 Baker island is a member of UnitedStatesMinorOutlyingIslands
(member Belgium BeneluxEconomicUnion) Government.kif 2694-2694 Belgium is a member of benelux economic union
(member Belgium EuropeanMonetaryUnion) Government.kif 2991-2991 Belgium is a member of european monetary union
(member ChairmanJCS JointChiefsOfStaff) MilitaryProcesses.kif 900-900 Chairman of the Joint Chiefs of Staff is a member of Joint Chiefs of Staff
(member Finland EuropeanMonetaryUnion) Government.kif 2992-2992 Finland is a member of european monetary union
(member France EuropeanMonetaryUnion) Government.kif 2993-2993 France is a member of european monetary union
(member Germany EuropeanMonetaryUnion) Government.kif 2994-2994 Germany is a member of european monetary union
(member Greece EuropeanMonetaryUnion) Government.kif 2995-2995 Greece is a member of european monetary union
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2327-2327 Howland island is a member of UnitedStatesMinorOutlyingIslands
(member Ireland EuropeanMonetaryUnion) Government.kif 2996-2996 Ireland is a member of european monetary union
(member Italy EuropeanMonetaryUnion) Government.kif 2997-2997 Italy is a member of european monetary union
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2328-2328 Jarvis island is a member of UnitedStatesMinorOutlyingIslands
(member JohnstonAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2333-2333 Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
(member KingmanReef UnitedStatesMinorOutlyingIslands) Media.kif 2329-2329 Kingman reef is a member of UnitedStatesMinorOutlyingIslands
(member Luxembourg BeneluxEconomicUnion) Government.kif 2696-2696 Luxembourg is a member of benelux economic union
(member Luxembourg EuropeanMonetaryUnion) Government.kif 2998-2998 Luxembourg is a member of european monetary union
(member MidwayIslands UnitedStatesMinorOutlyingIslands) Media.kif 2334-2334 Midway islands is a member of UnitedStatesMinorOutlyingIslands
(member NavassaIsland UnitedStatesMinorOutlyingIslands) Media.kif 2330-2330 Navassa island is a member of UnitedStatesMinorOutlyingIslands
(member Netherlands BeneluxEconomicUnion) Government.kif 2695-2695 Netherlands is a member of benelux economic union
(member Netherlands EuropeanMonetaryUnion) Government.kif 2999-2999 Netherlands is a member of european monetary union
(member PalmyraAtoll UnitedStatesMinorOutlyingIslands) Media.kif 2332-2332 Palmyra atoll is a member of UnitedStatesMinorOutlyingIslands
(member Portugal EuropeanMonetaryUnion) Government.kif 3000-3000 Portugal is a member of european monetary union
(member Spain EuropeanMonetaryUnion) Government.kif 3001-3001 Spain is a member of european monetary union
(member WakeIsland UnitedStatesMinorOutlyingIslands) Media.kif 2331-2331 Wake island is a member of UnitedStatesMinorOutlyingIslands

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      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners