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

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


(=>
    (and
        (instance ?E Eyebrow)
        (attribute ?H Healthy)
        (part ?E ?H)
        (member ?C ?E))
    (memberCount ?E 2))		 Anatomy.kif 1483-1489 If X is an instance of eyebrow, healthy is an attribute of Y, X is a part of Y, and Z is a member of X, then 2 is a member count of X
(=>
    (and
        (instance ?E Eyebrow)
        (attribute ?H Healthy)
        (part ?E ?H)
        (member ?C ?E))
    (exists (?HAIR)
        (and
            (instance ?HAIR Hair)
            (part ?HAIR ?E))))		 Anatomy.kif 1491-1500 If X is an instance of eyebrow, healthy is an attribute of Y, X is a part of Y, and Z is a member of X, then there exists W such that W is an instance of hair and W is a part of X
(=>
    (and
        (instance ?MIT BarMitzvah)
        (patient ?MIT ?X)
        (instance ?X Boy)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))		 Biography.kif 71-87 If All of the following hold: (1) X is an instance of bar mitzvah (2) Y is a patient of X (3) Y is an instance of boy (4) Y is a member of Z (5) Z is an instance of judaism (6) W is a birthdate of Y (7) W is an instance of the day V of month the month U, then there exist T and S such that T is an instance of integer and equal T and (R and 13) and S is an instance of the day V of month the month U and equal the time of existence of X and immediately after S
(=>
    (and
        (instance ?MIT BatMitzvah)
        (patient ?MIT ?X)
        (instance ?X Girl)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))		 Biography.kif 102-118 If All of the following hold: (1) X is an instance of bat mitzvah (2) Y is a patient of X (3) Y is an instance of girl (4) Y is a member of Z (5) Z is an instance of judaism (6) W is a birthdate of Y (7) W is an instance of the day V of month the month U, then there exist T and S such that T is an instance of integer and equal T and (R and 13) and S is an instance of the day V of month the month U and equal the time of existence of X and immediately after S
(=>
    (and
        (instance ?ORD Ordaining)
        (patient ?ORD ?X)
        (instance ?X Human)
        (member ?X Christianity))
    (hasPurpose ?ORD
        (exists (?CER ?A)
            (and
                (instance ?CER Ceremony)
                (instance ?A Appointing)
                (subProcess ?A ?CER)
                (patient ?A ?X)
                (appointedPosition ?A ?X Cleric)))))		 Biography.kif 161-174 If X is an instance of ordaining, Y is a patient of X, Y is an instance of human, and Y is a member of christianity, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of ceremony (3) W is an instance of appointing (4) W is a subprocess of Z (5) Y is a patient of W (6) appointed position W, Y (7) cleric
(=>
    (member ?ISLAND VirginIslands)
    (instance ?ISLAND Island))		 CountriesAndRegions.kif 1169-1171 If X is a member of virgin islands, then X is an instance of island
(=>
    (and
        (instance ?X Buffet)
        (member ?ITEM ?X)
        (located ?X ?LOC1)
        (instance ?E Eating)
        (agent ?E ?AGENT)
        (eventLocated ?E ?LOC2)
        (patient ?E ?ITEM))
    (and
        (not
            (equal ?LOC1 ?LOC2))
        (exists (?G)
            (and
                (instance ?G Getting)
                (patient ?G ?ITEM)
                (origin ?G ?LOC1)
                (agent ?G ?AGENT)
                (before
                    (WhenFn ?G)
                    (WhenFn ?E))))))		 Dining.kif 274-291 If All of the following hold: (1) X is an instance of buffet (2) Y is a member of X (3) X is located at Z (4) W is an instance of eating (5) V is an agent of W (6) W is located at U (7) Y is a patient of W, then equal Z and U and there exists T such that T is an instance of getting, Y is a patient of T, T originates at Z, V is an agent of T, and the time of existence of T happens before the time of existence of W
(=>
    (and
        (instance ?X Outfit)
        (member ?ITEM1 ?X)
        (holdsDuring ?TIME
            (wears ?PERSON ?ITEM1)))
    (forall (?ITEM2)
        (=>
            (member ?ITEM2 ?X)
            (holdsDuring ?TIME
                (wears ?PERSON ?ITEM2)))))		 Dining.kif 469-479 If X is an instance of outfit, Y is a member of X, and Z wears Y holds during W, then For all Physical V: if V is a member of X, then Z wears V holds during W
(=>
    (and
        (attribute ?AREA HighIncomeCountry)
        (not
            (member ?AREA OrganizationOfPetroleumExportingCountries)))
    (economyType ?AREA DevelopedCountry))		 Economy.kif 506-510 If high income country is an attribute of X and X is not a member of organization of petroleum exporting countries, then developed country is an economy type of X
(=>
    (member ?STATE GroupOf7)
    (attribute ?STATE MajorIndustrialEconomy))		 Economy.kif 751-753 If X is a member of group of7, then major industrial economy is an attribute of X
(=>
    (member ?COMMUNIST Communism)
    (believes ?COMMUNIST
        (=>
            (and
                (instance ?MEANOFPRODUCTION MeanOfProduction)
                (attribute ?OBJ ?MEANOFPRODUCTION)
                (instance ?COUNTRY GeopoliticalArea)
                (located ?OBJ ?COUNTRY))
            (element ?OBJ
                (PropertyFn
                    (CitizenryFn ?COUNTRY))))))		 Economy.kif 880-889 If X is a member of communism, then X believes Y is an instance of mean of production, Y is an attribute of Z, W is an instance of geopolitical area, and Z is located at WZ is an element of belongings of the citizenry of W
(=>
    (member ?CAPITALIST Capitalism)
    (believes ?CAPITALIST
        (exists (?MEANOFPRODUCTION ?OBJ ?COUNTRY ?AA)
            (and
                (instance ?MEANOFPRODUCTION MeanOfProduction)
                (attribute ?OBJ ?MEANOFPRODUCTION)
                (instance ?COUNTRY GeopoliticalArea)
                (located ?OBJ ?COUNTRY)
                (instance ?AA AutonomousAgent)
                (element ?OBJ
                    (PropertyFn ?AA))
                (not
                    (equal ?AA
                        (CitizenryFn ?COUNTRY)))))))		 Economy.kif 905-917 If X is a member of capitalism, then All of the following hold: (1) X believes there exist Y, Z,, , W (2) V such that Y is an instance of mean of production (3) Y is an attribute of Z (4) W is an instance of geopolitical area (5) Z is located at W (6) V is an instance of agent (7) Z is an element of belongings of V (8) equal V (9) the citizenry of W
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M EmmerWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X EinkornWheatGrass)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsGrass))))		 Economy.kif 4211-4226 If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of emmer wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a einkorn wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops grass
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M DurumWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X TriticumUrartu)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsSpeltoides))))		 Economy.kif 4243-4258 If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of durum wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a Triticum urartu (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Speltoides
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M CommonWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X EmmerWheatGrass)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsTauschii))))		 Economy.kif 4302-4317 If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of common wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a emmer wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Tauschii
(=>
    (and
        (instance ?M Meal)
        (member ?H ?M)
        (or
            (instance ?H Coffee)
            (instance ?H Tea))
        (member ?J ?M)
        (instance ?J Juice)
        (member ?B ?M)
        (instance ?B BreadOrBiscuit)
        (member ?B ?M)
        (instance ?B Butter)
        (member ?JA ?M)
        (instance ?JA Jam))
    (attribute ?M ContinentalBreakfast))		 Food.kif 1737-1752 If All of the following hold: (1) X is an instance of meal (2) Y is a member of X (3) Y is an instance of coffee or Y is an instance of tea (4) Z is a member of X (5) Z is an instance of juice (6) W is a member of X (7) W is an instance of bread or biscuit (8) W is a member of X (9) W is an instance of butter (10) V is a member of X (11) V is an instance of jam, then continental breakfast is an attribute of X
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?AREA))
        (attribute ?AGENT Female)
        (member ?AGENT
            (ResidentFn ?AREA))
        (instance ?ELECTION Election))
    (not
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)))		 Government.kif 1229-1235 If exclusive male suffrage is a sub-proposition of the regional law of X, female is an attribute of Y, Y is a member of the resident of X, and Z is an instance of election, then Y is not capable of doing the voting of Z as a agent
(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?ORG Organization)
        (member ?AGENT ?ORG))
    (attribute ?AGENT
        (MemberFn ?ORG)))		 Government.kif 1729-1734 If X is an instance of agent, Y is an instance of organization, and X is a member of Y, then the member of Y is an attribute of X
(=>
    (and
        (instance ?P CommunistParty)
        (member ?M ?P)
        (instance ?A GeopoliticalArea))
    (desires ?M
        (governmentType ?A CommunistState)))		 Government.kif 2224-2230 If X is an instance of communist party, Y is a member of X, and Z is an instance of geopolitical area, then Y desires communist state is a government type of Z
(=>
    (and
        (instance ?ORG OrganizationOfNations)
        (member ?MEM ?ORG))
    (instance ?MEM Nation))		 Government.kif 2512-2516 If X is an instance of organization of nations and Y is a member of X, then Y is an instance of nation
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))		 Government.kif 3204-3208 If X is an instance of nation and X is a member of european monetary union, then euro dollar is a currency type of X
(=>
    (member ?AGENT InternationalCourtOfJustice)
    (and
        (instance ?AGENT Human)
        (attribute ?AGENT JudgeAtLaw)))		 Government.kif 3441-3445 If X is a member of international court of justice, then X is an instance of human and judge is an attribute of X
(=>
    (and
        (member ?AGENT InternationalCourtOfJustice)
        (attribute ?AGENT JudgeAtLaw))
    (exists (?POLITY)
        (and
            (instance ?POLITY GeopoliticalArea)
            (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice))))		 Government.kif 3447-3454 If X is a member of international court of justice and judge is an attribute of X, then there exists Y such that Y is an instance of geopolitical area and Y is representative agent to agent X for international court of justice
(<=>
    (member ?PART InternationalRedCrossAndRedCrescentMovement)
    (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties))		 Government.kif 3584-3586 X is a member of international red cross and red crescent movement if and only if X is a member of international federation of red cross and red crescent societies
(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))		 Hotel.kif 1278-1286 If All of the following hold: (1) X is an instance of group of people (2) Y is a member of X (3) Z is a member of X (4) Z is an instance of human baby (5) Y is an instance of human adult (6) W is an instance of crib, then Y is interested in W

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?IC IhramClothing)
        (wears ?IC ?M)
        (attribute ?M Male))
    (exists (?C ?B ?S)
        (and
            (instance ?C Cloak)
            (instance ?B Belt)
            (instance ?S Sandal)
            (member ?C ?IC)
            (member ?B ?IC)
            (member ?S ?IC))))		 ArabicCulture.kif 151-163 If X is an instance of ihram clothing, X wears Y, and male is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of cloak (3) W is an instance of belt (4) V is an instance of sandal (5) Z is a member of X (6) W is a member of X (7) V is a member of X
(=>
    (instance ?ORD Ordaining)
    (hasPurpose ?ORD
        (exists (?X ?ORG ?POS)
            (and
                (patient ?ORD ?X)
                (instance ?X Human)
                (instance ?ORG ReligiousOrganization)
                (member ?X ?ORG)
                (result ?ORD ?POS)
                (instance ?POS ReligiousPosition)
                (occupiesPosition ?X ?POS ?ORG)))))		 Biography.kif 136-147 If X is an instance of ordaining, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is a patient of X (3) Y is an instance of human (4) Z is an instance of religious organization (5) Y is a member of Z (6) W is a result of X (7) W is an instance of religious position (8) Y holds the position of W in Z
(=>
    (coilCount ?WC ?N)
    (exists (?C ?C2F)
        (and
            (instance ?C Collection)
            (memberCount ?C ?N)
            (forall (?M)
                (=>
                    (member ?M ?C)
                    (and
                        (attribute ?M ?C2F)
                        (instance ?C2F ClosedTwoDimensionalFigure)
                        (part ?M ?WC)
                        (not
                            (exists (?M2)
                                (and
                                    (overlapsSpatially ?M2 ?M)
                                    (member ?M2 ?C))))))))))		 Cars.kif 3194-3211 If the number of coils in X is Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of collection (3) Y is a member count of Z (4) V V is a member of ZW is an attribute of V (5) W is an instance of closed two dimensional figure (6) V is a part of X (7) there doesn't exist U such that U (8) V overlapsSpatially (9) U is a member of Z
(=>
    (instance ?X RemoteKeylessSystem)
    (exists (?KEY ?LOCK ?CLOSE ?OPEN)
        (and
            (instance ?KEY Key)
            (instance ?KEY RemoteControl)
            (member ?KEY ?X)
            (instance ?LOCK Lock)
            (member ?LOCK ?X)
            (capability
                (KappaFn ?CLOSE
                    (and
                        (instance ?CLOSE Closing)
                        (patient ?CLOSE ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn ?CLOSE)
                            (attribute ?LOCK Locked)))) instrument ?KEY)
            (capability
                (KappaFn ?OPEN
                    (and
                        (instance ?OPEN Closing)
                        (patient ?OPEN ?LOCK)
                        (holdsDuring
                            (ImmediateFutureFn ?OPEN)
                            (not
                                (attribute ?LOCK Locked))))) instrument ?KEY))))		 Cars.kif 3853-3878 If X is an instance of remote keyless system, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of key (3) Y is an instance of remote control (4) Y is a member of X (5) Z is an instance of lock (6) Z is a member of X (7) Y is capable of doing the class described by W as a instrument (8) Y is capable of doing the class described by V as a instrument
(=>
    (engineCylinders ?E ?N)
    (exists (?G ?EC)
        (and
            (instance ?G Collection)
            (memberTypeCount ?G EngineCylinder ?N)
            (member ?EC ?G)
            (part ?EC ?E))))		 Cars.kif 4609-4616 If engine X has Y cylinders, then there exist Z, W such that Z is an instance of collection, Z is member type count engine cylinder for Y, W is a member of Z, and W is a part of X
(=>
    (instance ?TV SatelliteTelevisionSystem)
    (exists (?SAT ?RECEIVE)
        (and
            (instance ?SAT ArtificialSatellite)
            (member ?SAT ?TV)
            (instance ?RECEIVE TelevisionReceiver)
            (member ?RECEIVE ?TV))))		 Communications.kif 421-428 If X is an instance of satellite tv, then there exist Y, Z such that Y is an instance of satellite, Y is a member of X, Z is an instance of TV, and Z is a member of X
(=>
    (instance ?N BroadcastNetwork)
    (forall (?M)
        (=>
            (member ?M ?N)
            (instance ?M BroadcastingStation))))		 Communications.kif 434-439 If X is an instance of broadcast network, then For all Physical Y: if Y is a member of X, then Y is an instance of broadcasting station
(=>
    (instance ?N BroadcastNetwork)
    (exists (?O)
        (and
            (instance ?O Organization)
            (forall (?M)
                (=>
                    (member ?M ?N)
                    (possesses ?O ?M))))))		 Communications.kif 441-449 If X is an instance of broadcast network, then there exists Y such that Y is an instance of organization and Z Z is a member of XY possesses Z
(=>
    (instance ?CS ComputerSystem)
    (exists (?C1 ?C2 ?CN)
        (and
            (instance ?C1 Computer)
            (instance ?C2 Computer)
            (instance ?CN ComputerNetwork)
            (member ?C1 ?CS)
            (member ?C2 ?CS)
            (member ?CN ?CS)
            (not
                (equal ?C1 ?C2))
            (connectedEngineeringComponents ?C1 ?CN)
            (connectedEngineeringComponents ?C2 ?CN))))		 ComputingBrands.kif 3231-3244 If X is an instance of computer system, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of computer (3) Z is an instance of computer (4) W is an instance of computer network (5) Y is a member of X (6) Z is a member of X (7) W is a member of X (8) equal Y (9) Z (10) Y is connected to W (11) Z is connected to W
(=>
    (instance ?X Buffet)
    (forall (?ITEM)
        (=>
            (member ?ITEM ?X)
            (instance ?ITEM
                (FoodForFn Human)))))		 Dining.kif 260-265 If X is an instance of buffet, then For all Physical Y: if Y is a member of X, then Y is an instance of food for human
(=>
    (and
        (instance ?X Buffet)
        (attribute ?X Breakfast))
    (modalAttribute
        (forall (?FOOD)
            (=>
                (member ?FOOD ?X)
                (attribute ?FOOD Breakfast))) Likely))		 Dining.kif 295-303 If X is an instance of buffet and breakfast is an attribute of X, then the statement Y Y is a member of Xbreakfast is an attribute of Y has the modal force of likely
(=>
    (and
        (instance ?X Outfit)
        (member ?ITEM1 ?X)
        (holdsDuring ?TIME
            (wears ?PERSON ?ITEM1)))
    (forall (?ITEM2)
        (=>
            (member ?ITEM2 ?X)
            (holdsDuring ?TIME
                (wears ?PERSON ?ITEM2)))))		 Dining.kif 469-479 If X is an instance of outfit, Y is a member of X, and Z wears Y holds during W, then For all Physical V: if V is a member of X, then Z wears V holds during W
(=>
    (dressCode ?CODE ?AGENT)
    (modalAttribute
        (exists (?OUTFIT ?T)
            (and
                (instance ?OUTFIT Outfit)
                (subjectiveAttribute ?OUTFIT ?CODE ?AGENT)
                (holdsDuring ?T
                    (forall (?CUST ?ITEM)
                        (and
                            (customer ?CUST ?AGENT)
                            (locatedAtTime ?CUST ?T ?AGENT)
                            (member ?ITEM ?OUTFIT)
                            (wears ?CUST ?ITEM)))))) Obligation))		 Dining.kif 492-505 If X requires customers to wear Y, then All of the following hold: (1) the statement there exist Z (2) W such that Z is an instance of outfit (3) X believes Z is Y (4) V (5) U X is a customer of V (6) V located at time W for X (7) U is a member of Z (8) V wears U holds during W has the modal force of obligation
(=>
    (and
        (numberOfCustomers ?NUM ?RESERVE)
        (fulfillingEntity ?AGENT ?RESERVE)
        (reservingEntity ?CUST ?RESERVE))
    (exists (?GRP)
        (and
            (potentialCustomer ?GRP ?AGENT)
            (instance ?GRP GroupOfPeople)
            (member ?CUST ?GRP)
            (memberCount ?GRP ?NUM))))		 Dining.kif 732-742 If X is for Y customers, Z fulfills X, and W reserves X, then there exists V such that V is a potential customer for Z, V is an instance of group of people, W is a member of V, and Y is a member count of V
(<=>
    (attribute ?INDIVIDUAL Communism)
    (member ?INDIVIDUAL Communism))		 Economy.kif 895-897 Communism is an attribute of X if and only if X is a member of communism
(<=>
    (attribute ?INDIVIDUAL Capitalist)
    (member ?INDIVIDUAL Capitalism))		 Economy.kif 923-925 Capitalist is an attribute of X if and only if X is a member of capitalism
(=>
    (equal ?GNP
        (GrossNationalProductFn ?GPA ?Y))
    (exists (?PRODANDSERV)
        (and
            (instance ?PRODANDSERV Collection)
            (monetaryValue ?PRODANDSERV ?GNP)
            (=>
                (and
                    (instance ?M Manufacture)
                    (result ?M ?PRODUCT)
                    (agent ?M ?MAKER)
                    (member ?MAKER
                        (CitizenryFn ?GPA))
                    (finishesDuring
                        (WhenFn ?M) ?Y))
                (member ?PRODUCT ?PRODANDSERV))
            (=>
                (and
                    (instance ?SERVICE Process)
                    (attribute ?SERVICE ServiceInEconomics)
                    (agent ?SERVICE ?PROVIDER)
                    (member ?PROVIDER
                        (CitizenryFn ?GPA))
                    (finishesDuring
                        (WhenFn ?SERVICE) ?Y))
                (member ?SERVICE ?PRODANDSERV)))))		 Economy.kif 1029-1050 If equal X and gross national product of Y during Z, then All of the following hold: (1) there exists W such that W is an instance of collection (2) value of W is X (3) V is an instance of manufacture (4) U is a result of V (5) T is an agent of V (6) T is a member of the citizenry of Y (7) finishes during the time of existence of V (8) ZU is a member of W (9) S is an instance of process (10) service is an attribute of S (11) R is an agent of S (12) R is a member of the citizenry of Y (13) finishes during the time of existence of S (14) ZS is a member of W
(=>
    (instance ?ME MarketEconomics)
    (exists (?ME ?O)
        (and
            (instance ?O Object)
            (member ?O ?ME)
            (attribute ?O ForSale))))		 Economy.kif 6681-6687 If X is an instance of market, then there exist X, Y such that Y is an instance of object, Y is a member of X, and for sale is an attribute of Y
(=>
    (and
        (instance ?O Object)
        (attribute ?O ForSale))
    (exists (?ME)
        (and
            (instance ?ME MarketEconomics)
            (member ?O MarketEconomics))))		 Economy.kif 6689-6696 If X is an instance of object and for sale is an attribute of X, then there exists Y such that Y is an instance of market and X is a member of market
(=>
    (equal ?NUMDEMANDED
        (DemandFn ?ME))
    (exists (?DESIREDITEMS ?ITEMCLASS ?CLASS)
        (and
            (instance ?DESIREDITEMS Collection)
            (memberCount ?DESIREDITEMS ?NUMDEMANDED)
            (memberType ?ME ?ITEMCLASS)
            (=>
                (and
                    (instance ?H Human)
                    (instance ?ITEM ?ITEMCLASS)
                    (=>
                        (and
                            (instance ?B1 ?CLASS)
                            (subclass ?CLASS Buying)
                            (patient ?B1 ?ITEM))
                        (capability ?CLASS agent ?H))
                    (desires ?H
                        (exists (?B2 ?ITEM)
                            (and
                                (instance ?B2 ?CLASS)
                                (transactionAmount ?B2 ?CM)
                                (patient ?B2 ?ITEM)
                                (member ?ITEM ?ME)
                                (agent ?B2 ?H)))))
                (member ?ITEM ?DESIREDITEMS)))))		 Economy.kif 6787-6812 If equal X and demand Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of collection (3) X is a member count of Z (4) W is a member type of Y (5) U is an instance of human (6) T is an instance of W (7) S is an instance of V (8) V is a subclass of buying (9) T is a patient of SU is capable of doing V as a agent (10) U desires there exist R (11) T such that R is an instance of V (12) Q is a transaction amount of R (13) T is a patient of R (14) T is a member of Y (15) U is an agent of RT is a member of Z
(=>
    (equal ?P
        (equilibriumPriceFn ?THING ?M))
    (and
        (instance ?M MarketEconomics)
        (member ?THING ?M)
        (attribute ?M EquilibriumEconomics)
        (askPrice ?THING ?P ?AGENT)))		 Economy.kif 6873-6879 If equal X and the market-clearing price of Y on the Z, then Z is an instance of market, Y is a member of Z, equilibrium is an attribute of Z, and W asks for X for Y
(=>
    (instance ?GAS GoodsAndServices)
    (and
        (instance ?GPA GeopoliticalArea)
        (=>
            (and
                (instance ?M Manufacture)
                (result ?M ?PRODUCT)
                (agent ?M ?MAKER)
                (member ?MAKER
                    (CitizenryFn ?GPA))
                (finishesDuring
                    (WhenFn ?M) ?Y)
                (located ?M ?GPA))
            (member ?PRODUCT ?GAS))
        (=>
            (and
                (instance ?SERVICE Process)
                (attribute ?SERVICE ServiceInEconomics)
                (agent ?SERVICE ?PROVIDER)
                (member ?PROVIDER
                    (CitizenryFn ?GPA))
                (finishesDuring
                    (WhenFn ?SERVICE) ?Y)
                (located ?SERVICE ?GPA))
            (member ?SERVICE ?GAS))))		 Economy.kif 6901-6922 If X is an instance of goods and services, then Y is an instance of geopolitical area, if All of the following hold: (1) Z is an instance of manufacture (2) W is a result of Z (3) V is an agent of Z (4) V is a member of the citizenry of Y (5) finishes during the time of existence of Z and U (6) Z is located at Y, then W is a member of X, and if All of the following hold: (1) T is an instance of process (2) service is an attribute of T (3) S is an agent of T (4) S is a member of the citizenry of Y (5) finishes during the time of existence of T and U (6) T is located at Y, then T is a member of X
(=>
    (optimalGrindSizeForMakingCoffee ?CLASS ?A)
    (exists (?CM ?COLL ?C)
        (and
            (instance ?CM ?CLASS)
            (patient ?CM ?COLL)
            (instance ?COLL Collection)
            (member ?C ?COLL)
            (instance ?C CoffeeGrind)
            (attribute ?C ?A))))		 Food.kif 728-737 If X is the optimal CoffeeGrindAttribute for Y coffee making process, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of Y (3) W is a patient of Z (4) W is an instance of collection (5) V is a member of W (6) V is an instance of coffee grind (7) X is an attribute of V
(=>
    (instance ?EM EspressoMaking)
    (holdsDuring ?EM
        (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
            (and
                (instance ?H Heating)
                (patient ?H ?W)
                (measure ?W
                    (MeasureFn ?V Liter))
                (approximateValue ?V 0.03)
                (holdsDuring
                    (EndFn
                        (WhenFn ?H))
                    (and
                        (measure ?W
                            (MeasureFn ?T CelsiusDegree))
                        (approximateValue ?T 90)))
                (instance ?LM LiquidMotion)
                (patient ?LM ?W)
                (holdsDuring ?LM
                    (and
                        (measure ?W
                            (MeasureFn ?P
                                (KiloFn Pascal)))
                        (approximateValue ?P 900)))
                (destination ?LM ?COLL)
                (instance ?COLL Collection)
                (measure ?COLL
                    (MeasureFn ?K Gram))
                (approximateValue ?K 7.5)
                (member ?COLL ?CG)
                (instance ?CG CoffeeGrind)
                (attribute ?CG FineGrind)
                (located ?COLL ?F)
                (instance ?F Filter)
                (instance ?R Removing)
                (instrument ?R ?F)
                (patient ?R ?COLL)
                (temporallyBetween
                    (EndFn
                        (WhenFn ?H))
                    (EndFn
                        (WhenFn ?LM))
                    (EndFn
                        (WhenFn ?R)))))))		 Food.kif 799-834 If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X
(=>
    (and
        (instance ?G Grinding)
        (patient ?G ?O)
        (instance ?O CorpuscularObject))
    (holdsDuring
        (EndFn
            (WhenFn ?G))
        (exists (?C)
            (and
                (result ?G ?C)
                (instance ?C Collection)
                (forall (?M)
                    (=>
                        (member ?M ?C)
                        (part ?M ?O)))))))		 Food.kif 1013-1027 If X is an instance of grinding, Y is a patient of X, and Y is an instance of corpuscular object, then there exists Z such that Z is a result of X, Z is an instance of collection, and W W is a member of ZW is a part of Y holds during the end of the time of existence of X

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