memberCount - Sigma Knowledge base Browser

appearance as argument number 1

(documentation memberCount EnglishLanguage "(memberCount ?ORG ?NUMBER) means that there is a total ?NUMBER of members in the Collection ?ORG.")	Mid-level-ontology.kif 20112-20113
(domain memberCount 1 Collection)	Mid-level-ontology.kif 20109-20109	The number 1 argument of member count is an instance of collection
(domain memberCount 2 Integer)	Mid-level-ontology.kif 20110-20110	The number 2 argument of member count is an instance of integer
(instance memberCount BinaryPredicate)	Mid-level-ontology.kif 20108-20108	member count is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage memberCount "%2 is %n a member count of %1")	domainEnglishFormat.kif 429-429
(termFormat EnglishLanguage memberCount "member count")	domainEnglishFormat.kif 6587-6587	"member count" is the printable form of member count in english language

antecedent

(=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3))	Mid-level-ontology.kif 19318-19324	If a process is an instance of kidnapping and a collection is an instance of group of people and an integer is a member count of the collection and the collection is a patient of the process, then the integer is less than 3
(=> (and (memberCount ?GROUP ?NUMBER1) (memberTypeCount ?GROUP ?TYPE ?NUMBER2)) (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2))	Mid-level-ontology.kif 20161-20165	If an integer is a member count of a collection and the collection member type count a set or class for a nonnegative integer, then the integer is greater than or equal to the nonnegative integer
(=> (and (memberType ?CLCT Room) (instance ?A AirConditioner) (instance ?CLCT Collection) (memberCount ?CLCT 1) (instance ?E Cooling) (instrument ?E ?A) (patient ?E ?CLCT)) (and (defaultMinimumHeight ?A (MeasureFn 18 Inch)) (defaultMaximumHeight ?A (MeasureFn 28 Inch)) (defaultMinimumWidth ?A (MeasureFn 12 Inch)) (defaultMaximumWidth ?A (MeasureFn 21 Inch)) (defaultMinimumLength ?A (MeasureFn 21 Inch)) (defaultMaximumLength ?A (MeasureFn 36 Inch)) (defaultMinimumMeasure ?A (MeasureFn 75 PoundMass)) (defaultMaximumMeasure ?A (MeasureFn 250 PoundMass))))	DimensioningAmenities.kif 901-918	If room is a member type of a collection and a kind of object is an instance of air conditioner and the collection is an instance of collection and 1 is a member count of the collection and a process is an instance of cooling and a kind of object is an instrument for the process and the collection is a patient of the process, then the minimum expected height of the kind of object is 18 inch(s) and the maximum expected height of the kind of object is 28 inch(s) and the minimum expected width of the kind of object is 12 inch(s) and the maximum expected width of the kind of object is 21 inch(s) and the minimum expected length of the kind of object is 21 inch(s) and the maximum expected length of the kind of object is 36 inch(s) and the minimum expected value of the kind of object is 75 pound mass(s) and the maximum expected value of the kind of object is 250 pound mass(s)
(=> (and (memberType ?CLCT Room) (instance ?A AirConditioner) (instance ?CLCT Collection) (memberCount ?CLCT ?C) (greaterThan ?C 1) (instance ?E Cooling) (instrument ?E ?A) (patient ?E ?CLCT)) (and (defaultMinimumHeight ?A (MeasureFn 28 Inch)) (defaultMaximumHeight ?A (MeasureFn 60 Inch)) (defaultMinimumWidth ?A (MeasureFn 21 Inch)) (defaultMaximumWidth ?A (MeasureFn 60 Inch)) (defaultMinimumLength ?A (MeasureFn 36 Inch)) (defaultMaximumLength ?A (MeasureFn 60 Inch)) (defaultMinimumMeasure ?A (MeasureFn 75 PoundMass)) (defaultMaximumMeasure ?A (MeasureFn 500 PoundMass))))	DimensioningAmenities.kif 922-940	If room is a member type of a collection and a kind of object is an instance of air conditioner and the collection is an instance of collection and an integer is a member count of the collection and the integer is greater than 1 and a process is an instance of cooling and a kind of object is an instrument for the process and the collection is a patient of the process, then the minimum expected height of the kind of object is 28 inch(s) and the maximum expected height of the kind of object is 60 inch(s) and the minimum expected width of the kind of object is 21 inch(s) and the maximum expected width of the kind of object is 60 inch(s) and the minimum expected length of the kind of object is 36 inch(s) and the maximum expected length of the kind of object is 60 inch(s) and the minimum expected value of the kind of object is 75 pound mass(s) and the maximum expected value of the kind of object is 500 pound mass(s)
(=> (and (memberType ?CLCT Room) (instance ?H RoomHeater) (instance ?CLCT Collection) (memberCount ?CLCT 1) (instance ?E Heating) (instrument ?E ?H) (patient ?E ?CLCT)) (and (defaultMinimumHeight ?H (MeasureFn 5 Inch)) (defaultMaximumHeight ?H (MeasureFn 16 Inch)) (defaultMinimumWidth ?H (MeasureFn 5 Inch)) (defaultMaximumWidth ?H (MeasureFn 7 Inch)) (defaultMinimumLength ?H (MeasureFn 18 Inch)) (defaultMaximumLength ?H (MeasureFn 26 Inch)) (defaultMinimumMeasure ?H (MeasureFn 11 PoundMass)) (defaultMaximumMeasure ?H (MeasureFn 30 PoundMass))))	DimensioningAmenities.kif 858-875	If room is a member type of a collection and a kind of object is an instance of room heater and the collection is an instance of collection and 1 is a member count of the collection and a process is an instance of heating and a kind of object is an instrument for the process and the collection is a patient of the process, then the minimum expected height of the kind of object is 5 inch(s) and the maximum expected height of the kind of object is 16 inch(s) and the minimum expected width of the kind of object is 5 inch(s) and the maximum expected width of the kind of object is 7 inch(s) and the minimum expected length of the kind of object is 18 inch(s) and the maximum expected length of the kind of object is 26 inch(s) and the minimum expected value of the kind of object is 11 pound mass(s) and the maximum expected value of the kind of object is 30 pound mass(s)
(=> (and (memberType ?CLCT Room) (instance ?H RoomHeater) (instance ?CLCT Collection) (memberCount ?CLCT ?C) (greaterThan ?C 1) (instance ?E Heating) (instrument ?E ?H) (patient ?E ?CLCT)) (and (defaultMinimumHeight ?H (MeasureFn 16 Inch)) (defaultMaximumHeight ?H (MeasureFn 40 Inch)) (defaultMinimumWidth ?H (MeasureFn 10 Inch)) (defaultMaximumWidth ?H (MeasureFn 26 Inch)) (defaultMinimumLength ?H (MeasureFn 26 Inch)) (defaultMaximumLength ?H (MeasureFn 45 Inch)) (defaultMinimumMeasure ?H (MeasureFn 30 PoundMass)) (defaultMaximumMeasure ?H (MeasureFn 200 PoundMass))))	DimensioningAmenities.kif 879-897	If room is a member type of a collection and a kind of object is an instance of room heater and the collection is an instance of collection and an integer is a member count of the collection and the integer is greater than 1 and a process is an instance of heating and a kind of object is an instrument for the process and the collection is a patient of the process, then the minimum expected height of the kind of object is 16 inch(s) and the maximum expected height of the kind of object is 40 inch(s) and the minimum expected width of the kind of object is 10 inch(s) and the maximum expected width of the kind of object is 26 inch(s) and the minimum expected length of the kind of object is 26 inch(s) and the maximum expected length of the kind of object is 45 inch(s) and the minimum expected value of the kind of object is 30 pound mass(s) and the maximum expected value of the kind of object is 200 pound mass(s)
(=> (and (seatsInOrganizationCount ?ORG ?SEATS) (memberCount ?ORG ?MEMBERS)) (greaterThanOrEqualTo ?SEATS ?MEMBERS))	Government.kif 2034-2038	If an integer is a seats in organization count of an organization and another integer is a member count of the organization, then the integer is greater than or equal to the other integer
(=> (memberCount ?ORG ?NUM) (equal ?NUM (CardinalityFn (KappaFn ?MEM (member ?MEM ?ORG)))))	Mid-level-ontology.kif 20115-20121	If an integer is a member count of a collection, then the integer is equal to the number of instances in the class described by an object

consequent

(<=> (beliefGroupPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1526-1537	A real number percent of people in a geographic area believe in a belief group if and only if there exist a collection and another collection such that an object is located at the geographic area and the object is a member of the belief group and the object is a member of the collection and the real number1 is a member count of the collection and the object2 is located at the geographic area and the object2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
(<=> (ethnicityPercentInRegion ?BG ?N ?R) (exists (?G1 ?G2) (and (located ?P ?R) (member ?P ?BG) (member ?P ?G1) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1545-1556	A real number percent of people in a geographic area are an ethnic group if and only if there exist a collection and another collection such that an object is located at the geographic area and the object is a member of the ethnic group and the object is a member of the collection and the real number1 is a member count of the collection and the object2 is located at the geographic area and the object2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
(<=> (languagePercentInRegion ?L ?N ?R) (exists (?G1 ?G2) (and (located ?P ?R) (member ?P ?G1) (speaksLanguage ?P ?L) (memberCount ?G1 ?N1) (located ?P2 ?R) (member ?P2 ?G2) (memberCount ?G2 ?N2) (equal (DivisionFn ?N 100) (DivisionFn ?N1 ?N2)))))	People.kif 1564-1575	A real number percent of people in a geographic area speak a language if and only if there exist a collection and another collection such that a sentient agent is located at the geographic area and the sentient agent is a member of the collection and the language is a speaks language of the sentient agent and the real number1 is a member count of the collection and the sentient agent2 is located at the geographic area and the sentient agent2 is a member of the other collection and the real number2 is a member count of the other collection and the real number and 100 is equal to the real number1 and the real number2
(=> (and (instance ?C Crystal) (attribute ?C MonoCrystalline) (instance ?Sub Substance) (attribute ?Sub Solid) (attribute ?Sub PolyCrystalline) (instance ?S Substance) (surface ?S ?Sub) (not (part ?C ?S))) (exists (?CLNT) (and (instance ?CLNT Collection) (memberCount ?CLNT ?X) (greaterThanOrEqualTo ?X 4) (=> (member ?MBR ?CLNT) (and (part ?MBR ?Sub) (meetsSpatially ?C ?MBR))))))	Geography.kif 6495-6515	If an object is an instance of crystal and mono crystalline is an attribute of the object and a self connected object is an instance of substance and solid is an attribute of the self connected object and poly crystalline is an attribute of the self connected object and another self connected object is an instance of substance and the other self connected object is a surface of the self connected object and the object is not a part of the other self connected object, then there exists the objectLNT such that the objectLNT is an instance of collection and an integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if another object is a member of the objectLNT, then the other object is a part of the self connected object and the object meets the other object
(=> (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))	Cars.kif 1808-1822	If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and the number of molecules of a kind of elemental substance in a molecule of the kind of compound substance is an integer and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance, then the integer is a member count of the collection
(=> (and (instance ?FLEET Fleet) (fleetSize ?AGENT ?NUM) (possesses ?AGENT ?FLEET)) (memberCount ?FLEET ?NUM))	Mid-level-ontology.kif 4061-4066	If a collection is an instance of Fleet and an agent has a fleet of an integer vehicles and the agent possesses the collection, then the integer is a member count of the collection
(=> (and (maxRoomCapacity ?ROOM ?NUM) (instance ?X ?ROOM) (element ?X (PropertyFn ?AGENT))) (modalAttribute (exists (?GRP) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?NUM) (stays ?GRP ?X))) Possibility))	Hotel.kif 452-463	If a kind of stationary artifact can accommodate at most an integer people and a temporary residence is an instance of a kind of stationary artifact and the temporary residence is an element of belongings of an agent, then the statement there exists a human such that the human is an instance of group of people and another integer is a member count of the human and the other integer is less than or equal to the integer and the human stays at the temporary residence has the modal force of possibility
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2819-2828	If an agent may have an integer adults and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human adult is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
(=> (and (numberChildOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL ?SUBCOL) (and (instance ?COL GroupOfPeople) (subCollection ?SUBCOL ?COL) (instance ?SUBCOL GroupOfPeople) (memberType ?SUBCOL HumanChild) (memberCount ?SUBCOL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2839-2850	If an agent may have an integer children and the agent fulfills another agent, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the other agent
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2800-2809	If an agent may have an integer occupants and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
(=> (and (numberOfCustomers ?NUM ?RESERVE) (fulfillingEntity ?AGENT ?RESERVE) (reservingEntity ?CUST ?RESERVE)) (exists (?GRP) (and (potentialCustomer ?GRP ?AGENT) (instance ?GRP GroupOfPeople) (member ?CUST ?GRP) (memberCount ?GRP 2))))	Dining.kif 690-700	If a reservation is for a positive integer customers and an agent fulfills the reservation and another agent reserves the reservation, then there exists a collection such that the collection is a potential customer for the agent and the collection is an instance of group of people and the other agent is a member of the collection and 2 is a member count of the collection
(=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (forall (?X) (=> (member ?X ?COL) (and (instance ?X HumanAdult) (age ?X (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE 60)))) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2861-2876	If an agent is for an integer seniors and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and for all an object if the object is a member of the collection, then the object is an instance of human adult and the age of the object is a real number year duration(s) and the real number is greater than or equal to 60 and the integer is a member count of the collection and the collection is a potential customer for the other agent
(=> (capacityByArrangement ?AREA ?PROP ?INT) (=> (represents ?AREA ?PROP) (modalAttribute (exists (?GRP) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?INT) (located ?GRP ?AREA))) Possibility)))	Hotel.kif 759-769	If a region has capacity for an integer according to a proposition, then if the region expresses the proposition, then the statement there exists a collection such that the collection is an instance of group of people and another integer is a member count of the collection and the other integer is less than or equal to the integer and the collection is located at the region has the modal force of possibility
(=> (coilCount ?WC ?N) (exists (?C) (and (instance ?C Collection) (memberCount ?C ?N) (forall (?M) (=> (member ?M ?C) (and (attribute ?M ClosedTwoDimensionalFigure) (part ?M ?WC) (not (exists (?M2) (and (overlapsSpatially ?M2 ?M) (member ?M2 ?C))))))))))	Cars.kif 3129-3145	If the number of coils in a wire coil is an integer, then there exists a collection such that the collection is an instance of collection and the integer is a member count of the collection and for all an object if the object is a member of the collection, then closed two dimensional figure is an attribute of the object and the object is a part of the wire coil and there doesn't exist the object2 such that the object2 overlaps with the object and the object2 is a member of the collection
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES Hole) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER) (and (member ?FINGER ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 975-988	If an object is an instance of bowling ball, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and 3 is a member count of the collection and the collection is located at the object and the collection has purpose there exists another object such that the other object is a member of the collection and the other object is an instance of finger and the other object partially fills a hole
(=> (instance ?B Bus) (hasPurpose ?B (exists (?C ?T ?N) (and (instance ?C Collection) (instance ?T Transportation) (memberCount ?C ?N) (greaterThan ?N 11) (=> (member ?P ?C) (patient ?T ?P))))))	Transportation.kif 1909-1920	If an entity is an instance of bus, then the entity has purpose there exist a collection, a process and an integer such that the collection is an instance of collection and the process is an instance of transportation and the integer is a member count of the collection and the integer is greater than 11 and if an object is a member of the collection, then the object is a patient of the process
(=> (instance ?PARK ParkingLot) (exists (?C ?N) (and (located ?C ?PARK) (forall (?SLOT) (=> (member ?SLOT ?C) (instance ?SLOT ParkingRegion))) (memberCount ?C ?N) (greaterThan ?N 1))))	TransportDetail.kif 78-88	If an object is an instance of parking lot, then there exist a collection and an integer such that the collection is located at the object and for all another object if the other object is a member of the collection, then the other object is an instance of parking area and the integer is a member count of the collection and the integer is greater than 1
(=> (instance ?X HighRise) (exists (?LEVELS ?NUM) (and (instance ?LEVELS Collection) (forall (?FLR) (=> (and (instance ?FLR BuildingLevel) (part ?FLR ?X)) (member ?FLR ?LEVELS))) (memberCount ?LEVELS ?NUM) (greaterThanOrEqualTo ?NUM 10))))	Mid-level-ontology.kif 24173-24185	If an object is an instance of high rise, then there exist a collection and an integer such that the collection is an instance of collection and for all another object if the other object is an instance of building level and the other object is a part of the object, then the other object is a member of the collection and the integer is a member count of the collection and the integer is greater than or equal to 10
(=> (instance ?X Tennis) (exists (?T1 ?T2) (and (contestParticipant ?X ?T1) (contestParticipant ?X ?T2) (not (equal ?T1 ?T2)) (or (instance ?T1 Human) (and (instance ?T1 GroupOfPeople) (memberCount ?T1 2))) (or (instance ?T2 Human) (and (instance ?T2 GroupOfPeople) (memberCount ?T2 2))))))	Sports.kif 706-722	If a contest is an instance of tennis, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and the agent is not equal to the other agent and the agent is an instance of human or the agent is an instance of group of people and 2 is a member count of the agent and the other agent is an instance of human or the other agent is an instance of group of people and 2 is a member count of the other agent
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 20153-20159	If a collection member type count a set or class for a nonnegative integer, then there exists another collection such that the other collection is a proper sub-collection of the collection and the nonnegative integer is a member count of the other collection and the set or class is a member type of the other collection
(=> (numberOfFloors ?BLDG ?NUM) (exists (?FLOORS) (and (forall (?X) (=> (and (instance ?X BuildingLevel) (part ?X ?BLDG)) (member ?X ?FLOORS))) (memberCount ?FLOORS ?NUM))))	Hotel.kif 674-684	If a building has an integer floors, then there exists a collection such that for all an object if the object is an instance of building level and the object is a part of the building, then the object is a member of the collection and the integer is a member count of the collection

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: