Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - member
member

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


(instance member AsymmetricRelation) Merge.kif 1311-1311 member is an instance of asymmetric relation
(instance member BinaryPredicate) Merge.kif 1312-1312 member is an instance of binary predicate
(instance member IntransitiveRelation) Merge.kif 1313-1313 member is an instance of intransitive relation
(domain member 1 Physical) Merge.kif 1314-1314 The number 1 argument of member is an instance of physical
(domain member 2 Collection) Merge.kif 1315-1315 The number 2 argument of member is an instance of collection
(relatedInternalConcept member instance) Merge.kif 1316-1316 member is internally related to instance
(relatedInternalConcept member element) Merge.kif 1317-1317 member is internally related to element
(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 1319-1321 member is internally related to element

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


(subrelation groupMember member) Mid-level-ontology.kif 8761-8761 group member is a subrelation of member
(subrelation student member) Mid-level-ontology.kif 18354-18354 student is a subrelation of member
(subrelation teacher member) Mid-level-ontology.kif 18430-18430 teacher is a subrelation of member
(subrelation associateInOrganization member) Government.kif 2407-2407 associate in organization is a subrelation of member
(termFormat EnglishLanguage member "member") domainEnglishFormat.kif 36989-36989 associate in organization is a subrelation of member
(termFormat ChineseTraditionalLanguage member "ζœƒε“‘") domainEnglishFormat.kif 36990-36990 associate in organization is a subrelation of member
(termFormat ChineseLanguage member "δΌšε‘˜") domainEnglishFormat.kif 36991-36991 associate in organization is a subrelation of member
(format EnglishLanguage member "%1 is %n a member of %2") english_format.kif 154-154 associate in organization is a subrelation of member

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


(=>
    (and
        (member ?OBJ1 ?COLL)
        (member ?OBJ2 ?COLL)
        (not
            (equal ?OBJ1 ?OBJ2)))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))		 Merge.kif 9749-9755 If X is a member of Y, Z is a member of Y, and equal X and Z, then X and Z doesn't overlapsSpatially
(=>
    (and
        (instance ?GROUP Group)
        (member ?MEMB ?GROUP))
    (instance ?MEMB AutonomousAgent))		 Merge.kif 16428-16432 If X is an instance of group and Y is a member of X, then Y is an instance of agent
(=>
    (and
        (instance ?GROUP GroupOfPeople)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER Human))		 Merge.kif 16438-16442 If X is an instance of group of people and Y is a member of X, then Y is an instance of human
(=>
    (and
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (instance ?AGENT AutonomousAgent))		 Merge.kif 16831-16835 If X is an instance of organization and Y is a member of X, then Y is an instance of agent
(=>
    (and
        (instance ?CLUB Club)
        (member ?MEM1 ?CLUB)
        (member ?MEM2 ?CLUB))
    (exists (?DESIRE)
        (and
            (desires ?MEM1 ?DESIRE)
            (desires ?MEM2 ?DESIRE))))		 Mid-level-ontology.kif 940-948 If X is an instance of club, Y is a member of X, and Z is a member of X, then there exists W such that Y desires W and Z desires W
(=>
    (and
        (instance ?SUIT ClothingSuit)
        (member ?ITEM1 ?SUIT)
        (member ?ITEM2 ?SUIT)
        (holdsDuring ?TIME
            (wears ?PERSON ?ITEM1)))
    (hasPurpose ?ITEM2
        (holdsDuring ?TIME
            (wears ?PERSON ?ITEM2))))		 Mid-level-ontology.kif 6261-6270 If X is an instance of clothing suit, Y is a member of X, Z is a member of X, and W wears Y holds during V, then Z has the purpose W wears Z holds during V
(=>
    (and
        (instance ?L SportsLeague)
        (member ?M ?L))
    (instance ?M SportsTeam))		 Mid-level-ontology.kif 8202-8206 If X is an instance of sports league and Y is a member of X, then Y is an instance of sports team
(=>
    (and
        (instance ?PERSON Human)
        (equal
            (DescendantsFn ?PERSON) ?DESCENDANTS)
        (member ?MEMBER ?DESCENDANTS))
    (ancestor ?MEMBER ?PERSON))		 Mid-level-ontology.kif 8675-8681 If X is an instance of human, equal the descendants of X and Y, and Z is a member of Y, then X is the ancestor of Z
(=>
    (and
        (instance ?GROUP GroupOfAnimals)
        (member ?MEMBER ?GROUP))
    (and
        (instance ?MEMBER Animal)
        (not
            (instance ?MEMBER Human))))		 Mid-level-ontology.kif 8687-8694 If X is an instance of group of animals and Y is a member of X, then Y is an instance of animal and Y is not an instance of human
(=>
    (and
        (instance ?BROOD Brood)
        (member ?MEMBER1 ?BROOD)
        (member ?MEMBER2 ?BROOD))
    (sibling ?MEMBER1 ?MEMBER2))		 Mid-level-ontology.kif 8700-8705 If X is an instance of brood, Y is a member of X, and Z is a member of X, then Y is a sibling of Z
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))		 Mid-level-ontology.kif 8769-8776 If X is a member of Y holds during Z, X is an instance of human, and Y is an instance of group of people, then X is a member of Y holds during Z
(=>
    (and
        (instance ?M ShoppingMall)
        (member ?S ?M))
    (instance ?S RetailStore))		 Mid-level-ontology.kif 9002-9006 If X is an instance of shopping mall and Y is a member of X, then Y is an instance of retail store
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))		 Mid-level-ontology.kif 9147-9154 If X is an instance of large group process, Y is an instance of collection, Z is a member of Y, Z is an involved in event of X, and W is a member count of Y, then W is greater than 10
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M))
    (exists (?P ?PC)
        (and
            (instance ?PC ?P)
            (involvedInEvent ?PC ?M))))		 Mid-level-ontology.kif 9156-9165 If X is an instance of large group process, Y is an instance of collection, Z is a member of Y, and Z is an involved in event of X, then there exist W, V such that V is an instance of W, and Z is an involved in event of V
(=>
    (member ?PERSON
        (ResidentFn ?AREA))
    (home ?PERSON ?AREA))		 Mid-level-ontology.kif 9240-9242 If X is a member of the resident of Y, then the home of X is Y
(=>
    (and
        (instance ?V Vertebrate)
        (instance ?H Head)
        (part ?H ?V)
        (instance ?S Skull)
        (attribute ?V Healthy)
        (member ?B ?S)
        (part ?B ?V))
    (part ?B ?H))		 Mid-level-ontology.kif 12896-12905 If All of the following hold: (1) X is an instance of vertebrate (2) Y is an instance of head (3) Y is a part of X (4) Z is an instance of skull (5) healthy is an attribute of X (6) W is a member of Z (7) W is a part of X, then W is a part of Y
(=>
    (and
        (instance ?CAST DramaticCast)
        (member ?MEMBER ?CAST))
    (exists (?TEXT ?PROP ?PROC ?SUB)
        (and
            (instance ?TEXT FictionalText)
            (containsInformation ?TEXT ?PROP)
            (realization ?PROC ?PROP)
            (instance ?SUB DramaticActing)
            (agent ?SUB ?MEMBER)
            (subProcess ?SUB ?PROC))))		 Mid-level-ontology.kif 17508-17519 If X is an instance of dramatic cast and Y is a member of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of fictional text (3) Z contains information W (4) V expresses the content of W (5) U is an instance of dramatic acting (6) Y is an agent of U (7) U is a subprocess of V
(=>
    (and
        (instance ?GROUP DramaticCast)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (holdsDuring ?T1
        (attribute ?MEM Actor)))		 Mid-level-ontology.kif 20748-20754 If X is an instance of dramatic cast and Y is a member of X holds during Z, then actor is an attribute of Y holds during Z
(=>
    (and
        (instance ?P Pair)
        (member ?A ?P)
        (member ?B ?P)
        (not
            (equal ?A ?B)))
    (not
        (exists (?C)
            (member ?C ?P))))		 Mid-level-ontology.kif 21957-21966 If X is an instance of pair, Y is a member of X, Z is a member of X, and equal Y and Z, then there doesn't exist W such that W is a member of X
(=>
    (and
        (instance ?E BothEyes)
        (member ?R ?E)
        (member ?L ?E))
    (and
        (instance ?R
            (BodySideFn Right Eye))
        (instance ?L
            (BodySideFn Left Eye))))		 Mid-level-ontology.kif 21985-21994 If X is an instance of both eyes, Y is a member of X, and Z is a member of X, then Y is an instance of the right of eye and Z is an instance of the left of eye
(=>
    (and
        (workLocation ?O ?S)
        (member ?P ?O)
        (instance ?W Working)
        (agent ?W ?P))
    (modalAttribute
        (located ?W ?S) Likely))		 Mid-level-ontology.kif 22843-22851 If members of X work at Y, Z is a member of X, W is an instance of working, and Z is an agent of W, then the statement W is located at Y has the modal force of likely
(=>
    (and
        (instance ?CS1 ?CLASS)
        (subclass ?CLASS CompoundSubstance)
        (not
            (exists (?CS2)
                (and
                    (instance ?CS2 ?CLASS)
                    (part ?CS2 ?CS1))))
        (molecularRatio ?ECLASS ?N ?CLASS)
        (instance ?G Group)
        (member ?E ?G)
        (part ?E ?CS1)
        (instance ?E ?ECLASS))
    (memberCount ?G ?N))		 Mid-level-ontology.kif 24103-24117 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of compound substance (3) there doesn't exist Z such that Z is an instance of Y and Z is a part of X (4) the number of molecules of W in a molecule of Y is V (5) U is an instance of group (6) T is a member of U (7) T is a part of X (8) T is an instance of W, then V is a member count of U
(=>
    (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 24726-24734 If X is an instance of convoy and Y is a member of X, then there exists Z such that Z is an instance of driving, the time of existence of X overlaps the time of existence of Z, and Y is a patient of Z
(=>
    (and
        (instance ?ORG MilitaryOrganization)
        (holdsDuring ?T1
            (member ?X ?ORG))
        (instance ?X Human))
    (holdsDuring ?T1
        (attribute ?X MilitaryPerson)))		 Mid-level-ontology.kif 24848-24853 If X is an instance of military organization, Y is a member of X holds during Z, and Y is an instance of human, then military person is an attribute of Y holds during Z
(=>
    (and
        (memberType ?GROUP ?TYPE)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER ?TYPE))		 Mid-level-ontology.kif 25034-25038 If X is a member type of Y and Z is a member of Y, then Z is an instance of X

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?COLL Collection)
    (exists (?OBJ)
        (member ?OBJ ?COLL)))		 Merge.kif 1305-1308 If X is an instance of collection, then there exists Y such that Y is a member of X
(<=>
    (subCollection ?COLL1 ?COLL2)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?COLL1)
            (member ?MEMBER ?COLL2))))		 Merge.kif 1332-1337 X is a proper sub-collection of Y if and only if Z Z is a member of XZ is a member of Y
(=>
    (and
        (instance ?ACT OrganizationalProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT Organization)
        (exists (?ORG)
            (and
                (instance ?ORG Organization)
                (member ?AGENT ?ORG)))))		 Merge.kif 10698-10707 If X is an instance of organizational process and Y is an agent of X, then Y is an instance of organization or there exists Z such that Z is an instance of organization and Y is a member of Z
(=>
    (and
        (instance ?ACT ReligiousProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT ReligiousOrganization)
        (exists (?ORG)
            (and
                (member ?AGENT ?ORG)
                (instance ?ORG ReligiousOrganization)))))		 Merge.kif 10720-10729 If X is an instance of religious process and Y is an agent of X, then Y is an instance of religious organization or there exists Z such that Y is a member of Z and Z is an instance of religious organization
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?ORG Organization)
        (agent ?JOIN ?PERSON)
        (patient ?JOIN ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?ORG))))		 Merge.kif 10736-10744 If X is an instance of joining an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?ORG))))		 Merge.kif 10768-10776 If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?LEAVE LeavingAnOrganization)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?PERSON ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?ORG)))))		 Merge.kif 10809-10817 If X is an instance of leaving an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is a member of Y holds during the beginning of the time of existence of X and Z is not a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?LEAVE Quitting)
        (instance ?ORG Organization)
        (agent ?LEAVE ?PERSON)
        (patient ?LEAVE ?ORG))
    (desires ?PERSON
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?PERSON ?ORG)))))		 Merge.kif 10823-10833 If X is an instance of quitting, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z desires Z is not a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?LEAVE Firing)
        (instance ?ORG Organization)
        (agent ?LEAVE ?ORG)
        (patient ?LEAVE ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEAVE))
            (member ?P ?ORG))
        (holdsDuring
            (EndFn
                (WhenFn ?LEAVE))
            (not
                (member ?P ?ORG)))))		 Merge.kif 10841-10849 If X is an instance of firing, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Z is a member of Y holds during the beginning of the time of existence of X and Z is not a member of Y holds during the end of the time of existence of X
(=>
    (instance ?PROC PoliticalProcess)
    (exists (?POL)
        (and
            (or
                (instance ?POL Government)
                (exists (?GOV)
                    (and
                        (instance ?GOV Government)
                        (member ?POL ?GOV))))
            (or
                (agent ?PROC ?POL)
                (patient ?PROC ?POL)))))		 Merge.kif 10915-10927 If X is an instance of political process, then there exists Y such that Y is an instance of government, there exists Z such that Z is an instance of government, Y is a member of Z, and Y is an agent of X, or Y is a patient of X
(=>
    (and
        (instance ?WAR War)
        (agent ?WAR ?AGENT))
    (or
        (instance ?AGENT GeopoliticalArea)
        (and
            (instance ?AGENT Organization)
            (forall (?MEMBER)
                (=>
                    (member ?MEMBER ?AGENT)
                    (instance ?MEMBER GeopoliticalArea))))))		 Merge.kif 13514-13525 If X is an instance of war and Y is an agent of X, then Y is an instance of geopolitical area or Y is an instance of organization and For all Physical Z: if Z is a member of Y, then Z is an instance of geopolitical area
(=>
    (instance ?RESIDENCE SingleFamilyResidence)
    (hasPurpose ?RESIDENCE
        (forall (?AGENT1 ?AGENT2)
            (=>
                (and
                    (home ?AGENT1 ?RESIDENCE)
                    (home ?AGENT2 ?RESIDENCE))
                (exists (?UNIT)
                    (and
                        (instance ?UNIT SocialUnit)
                        (member ?AGENT1 ?UNIT)
                        (member ?AGENT2 ?UNIT)))))))		 Merge.kif 15997-16009 If X is an instance of single family residence, then X has the purpose Y, Z the home of Y is X, the home of Z is Xthere exists W such that W is an instance of social unit, Y is a member of W, and Z is a member of W
(=>
    (instance ?GROUP AgeGroup)
    (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP)
                (age ?MEMB1 ?AGE1)
                (age ?MEMB2 ?AGE2))
            (equal ?AGE1 ?AGE2))))		 Merge.kif 16448-16457 If X is an instance of age group, then For all Physicals Y and Z and TimeDurations W and V: if Y is a member of X, Z is a member of X, the age of Y is W, and the age of Z is V, then equal W and V
(=>
    (instance ?GROUP FamilyGroup)
    (forall (?MEMB1 ?MEMB2)
        (=>
            (and
                (member ?MEMB1 ?GROUP)
                (member ?MEMB2 ?GROUP))
            (familyRelation ?MEMB1 ?MEMB2))))		 Merge.kif 16463-16470 If X is an instance of family group, then For all Organisms Y and Z: if Y is a member of X and Z is a member of X, then Y and Z are related
(=>
    (instance ?UNIT SocialUnit)
    (exists (?HOME ?MEMBER)
        (=>
            (member ?MEMBER ?UNIT)
            (home ?MEMBER ?HOME))))		 Merge.kif 16476-16481 If X is an instance of social unit, then there exist Y and Z such that Z is a member of Xthe home of Z is Y
(=>
    (equal
        (ImmediateFamilyFn ?P) ?FAMILY)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?FAMILY)
            (exists (?OTHER)
                (or
                    (parent ?MEMBER ?OTHER)
                    (parent ?OTHER ?MEMBER))))))		 Merge.kif 16491-16499 If equal the immediate family of X and Y, then For all Organism Z: if Z is a member of Y, then there exists W such that W is a parent of Z or Z is a parent of W
(=>
    (equal
        (ImmediateFamilyFn ?PERSON) ?FAMILY)
    (exists (?MEMBER)
        (and
            (member ?MEMBER ?FAMILY)
            (or
                (parent ?MEMBER ?PERSON)
                (parent ?PERSON ?MEMBER)))))		 Merge.kif 16501-16508 If equal the immediate family of X and Y, then there exists Z such that Z is a member of Y and X is a parent of Z or Z is a parent of X
(=>
    (instance ?GROUP BeliefGroup)
    (exists (?BELIEF)
        (forall (?MEMB)
            (=>
                (member ?MEMB ?GROUP)
                (believes ?MEMB ?BELIEF)))))		 Merge.kif 16796-16802 If X is an instance of belief group, then there exists Y such that Z Z is a member of XZ believes Y
(=>
    (instance ?ORG Organization)
    (exists (?PURP)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?ORG)
                (hasPurpose ?MEMBER ?PURP)))))		 Merge.kif 16823-16829 If X is an instance of organization, then there exists Y such that Z Z is a member of XZ has the purpose Y
(=>
    (occupiesPosition ?PERSON ?POSITION ?ORGANIZATION)
    (member ?PERSON ?ORGANIZATION))		 Merge.kif 17484-17486 If X holds the position of Y in Z, then X is a member of Z
(=>
    (instance ?W WrittenCommunication)
    (exists (?T ?C ?S)
        (and
            (result ?W ?T)
            (instance ?T Text)
            (part ?C ?T)
            (instance ?C Character)
            (instance ?S Script)
            (member ?C ?S))))		 Mid-level-ontology.kif 675-684 If X is an instance of written communication, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a result of X (3) Y is an instance of text (4) Z is a part of Y (5) Z is an instance of character (6) W is an instance of script (7) Z is a member of W
(=>
    (instance ?SHOT FirearmShot)
    (exists (?C ?P ?CLASS ?X)
        (and
            (instance ?C Collection)
            (member ?P ?C)
            (instance ?P ?CLASS)
            (subclass ?CLASS SphericalObject)
            (approximateDiameter ?P
                (MeasureFn ?X Millimeter))
            (modalAttribute
                (and
                    (material ?CLASS Lead)
                    (lessThan ?X 10)) Likely))))		 Mid-level-ontology.kif 1153-1166 If X is an instance of firearm shot, then there exist Y, Z,, , W and V such that Y is an instance of collection and Z is a member of Y and Z is an instance of W and W is a subclass of spherical object and the approximate diameter of Z is V millimeter(s) and the statement lead is made of W and V is less than 10 has the modal force of likely
(=>
    (instance ?GUN RevolverGun)
    (exists (?CY ?COLL ?C ?BC)
        (and
            (part ?CY ?GUN)
            (instance ?CY GunCylinder)
            (part ?COLL ?CY)
            (instance ?COLL Collection)
            (member ?C ?COLL)
            (instance ?C GunChamber)
            (contains ?C ?BC)
            (instance ?BC BulletCartridge)
            (not
                (exists (?BC2)
                    (and
                        (instance ?BC2 BulletCartridge)
                        (not
                            (equal ?BC ?BC2))
                        (contains ?C ?BC2)))))))		 Mid-level-ontology.kif 2059-2077 If X is an instance of revolver gun, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a part of X (3) Y is an instance of gun cylinder (4) Z is a part of Y (5) Z is an instance of collection (6) W is a member of Z (7) W is an instance of gun chamber (8) W contains V (9) V is an instance of bullet cartridge (10) there doesn't exist U such that U is an instance of bullet cartridge (11) equal V (12) U (13) W contains U
(=>
    (instance ?BROOD Brood)
    (exists (?TIME)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?BROOD)
                (exists (?BIRTH)
                    (and
                        (instance ?BIRTH Birth)
                        (experiencer ?BIRTH ?MEMBER)
                        (equal ?TIME
                            (WhenFn ?BIRTH))))))))		 Mid-level-ontology.kif 8709-8719 If X is an instance of brood, then there exists Y such that Z Z is a member of Xthere exists W such that W is an instance of birth, Z experiences W, equal Y, and the time of existence of W
(=>
    (instance ?LGP LargeGroupProcess)
    (exists (?G ?M)
        (and
            (instance ?G Collection)
            (member ?M ?G)
            (memberType ?G AutonomousAgent))))		 Mid-level-ontology.kif 9139-9145 If X is an instance of large group process, then there exist Y, Z such that Y is an instance of collection, Z is a member of Y, and agent is a member type of Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(not
    (member Denmark EuropeanMonetaryUnion))		 Government.kif 3200-3200 Denmark is not a member of european monetary union
(not
    (member Sweden EuropeanMonetaryUnion))		 Government.kif 3201-3201 Sweden is not a member of european monetary union
(not
    (member UnitedKingdom EuropeanMonetaryUnion))		 Government.kif 3202-3202 United kingdom is not a member of european monetary union
(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 X such that X is an instance of timeframe, X finishes the time of existence of Jesus of Nazareth, X starts the time of existence of Twelve apostles, and Y Y is a member of Twelve apostles holds during XJesus of Nazareth is a friend of Y holds during X

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


(member Belgium BeneluxEconomicUnion) Government.kif 2884-2884 Belgium is a member of benelux economic union
(member Netherlands BeneluxEconomicUnion) Government.kif 2885-2885 Netherlands is a member of benelux economic union
(member Luxembourg BeneluxEconomicUnion) Government.kif 2886-2886 Luxembourg is a member of benelux economic union
(member Austria EuropeanMonetaryUnion) Government.kif 3180-3180 Austria is a member of european monetary union
(member Belgium EuropeanMonetaryUnion) Government.kif 3181-3181 Belgium is a member of european monetary union
(member Cyprus EuropeanMonetaryUnion) Government.kif 3182-3182 Cyprus is a member of european monetary union
(member Estonia EuropeanMonetaryUnion) Government.kif 3183-3183 Estonia is a member of european monetary union
(member Finland EuropeanMonetaryUnion) Government.kif 3184-3184 Finland is a member of european monetary union
(member France EuropeanMonetaryUnion) Government.kif 3185-3185 France is a member of european monetary union
(member Germany EuropeanMonetaryUnion) Government.kif 3186-3186 Germany is a member of european monetary union
(member Greece EuropeanMonetaryUnion) Government.kif 3187-3187 Greece is a member of european monetary union
(member Ireland EuropeanMonetaryUnion) Government.kif 3188-3188 Ireland is a member of european monetary union
(member Italy EuropeanMonetaryUnion) Government.kif 3189-3189 Italy is a member of european monetary union
(member Latvia EuropeanMonetaryUnion) Government.kif 3190-3190 Latvia is a member of european monetary union
(member Lithuania EuropeanMonetaryUnion) Government.kif 3191-3191 Lithuania is a member of european monetary union
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3192-3192 Luxembourg is a member of european monetary union
(member Malta EuropeanMonetaryUnion) Government.kif 3193-3193 Malta is a member of european monetary union
(member Netherlands EuropeanMonetaryUnion) Government.kif 3194-3194 Netherlands is a member of european monetary union
(member Portugal EuropeanMonetaryUnion) Government.kif 3195-3195 Portugal is a member of european monetary union
(member Slovakia EuropeanMonetaryUnion) Government.kif 3196-3196 Slovakia is a member of european monetary union
(member Slovenia EuropeanMonetaryUnion) Government.kif 3197-3197 Slovenia is a member of european monetary union
(member Spain EuropeanMonetaryUnion) Government.kif 3198-3198 Spain is a member of european monetary union
(member BakerIsland UnitedStatesMinorOutlyingIslands) Media.kif 2620-2620 Baker island is a member of United states minor outlying islands
(member HowlandIsland UnitedStatesMinorOutlyingIslands) Media.kif 2621-2621 Howland island is a member of United states minor outlying islands
(member JarvisIsland UnitedStatesMinorOutlyingIslands) Media.kif 2622-2622 Jarvis island is a member of United states minor outlying islands

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