TreeView 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 22059-22060
(domain memberCount 1 Collection)	Mid-level-ontology.kif 22056-22056	The number 1 argument of member count is an instance of collection
(domain memberCount 2 Integer)	Mid-level-ontology.kif 22057-22057	The number 2 argument of member count is an instance of integer
(instance memberCount BinaryPredicate)	Mid-level-ontology.kif 22055-22055	member count is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage memberCount "%2 %n 是 %1 的 member 计数")	domainEnglishFormat.kif 1683-1683
(format ChineseTraditionalLanguage memberCount "%2 %n 是 %1 的 member 計數")	domainEnglishFormat.kif 1682-1682
(format EnglishLanguage memberCount "%2 is %n a member count of %1")	domainEnglishFormat.kif 1681-1681
(termFormat ChineseLanguage memberCount "会员数")	domainEnglishFormat.kif 36990-36990
(termFormat ChineseTraditionalLanguage memberCount "會員數")	domainEnglishFormat.kif 36989-36989
(termFormat EnglishLanguage memberCount "member count")	domainEnglishFormat.kif 36988-36988

antecedent

(=> (and (instance ?LGP LargeGroupProcess) (instance ?G Collection) (member ?M ?G) (involvedInEvent ?LGP ?M) (memberCount ?G ?N)) (greaterThan ?N 10))	Mid-level-ontology.kif 7609-7616	If a process is an instance of LargeGroupProcess and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process and an integer is a member count of the collection, then the integer is greater than 10
(=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely))	ComputingBrands.kif 4150-4158	If a process is an instance of spamming and a collection is an instance of group of people and an integer is a member count of the collection and the process ends up at the collection, then the statement the integer is greater than 100 has the modal force of likely
(=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3))	Mid-level-ontology.kif 21409-21415	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 22101-22105	If an integer is a member count of a collection and the collection is member type count a set or class for a nonnegative integer, then the integer is greater than or equal to the nonnegative integer
(=> (and (seatsInOrganizationCount ?ORG ?SEATS) (memberCount ?ORG ?MEMBERS)) (greaterThanOrEqualTo ?SEATS ?MEMBERS))	Government.kif 2059-2063	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 22062-22068	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 a symbolic string

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 1538-1549	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 a physical is located at the geographic area and the physical is a member of the belief group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 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 1557-1568	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 a physical is located at the geographic area and the physical is a member of the ethnic group and the physical is a member of the collection and the real number1 is a member count of the collection and the physical2 is located at the geographic area and the physical2 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 1576-1587	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 6830-6850	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 1772-1786	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 3480-3485	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 459-470	If a kind of stationary artifact can accommodate at most an integer people and an entity is an instance of a kind of stationary artifact and the entity is an element of belongings of an agent, then the statement there exists another entity such that the other entity is an instance of group of people and a third entity is a member count of the other entity and the third entity is less than or equal to the integer and the other entity stays at the entity 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 2852-2861	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 2872-2883	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 2833-2842	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 ?NUM))))	Dining.kif 686-696	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 the positive integer 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 2894-2909	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 a physical if the physical is a member of the collection, then the physical is an instance of human adult and the age of the physical 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
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30332-30347	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of collection and a kind of object is a member type of the other entity and the quantity is a member count of the other entity and the cognitive agent possesses the other entity
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30276-30286	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and a kind of object is a member type of the entity and the quantity is a member count of the entity and the cognitive agent possesses the entity
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30299-30314	If there is a shortage of an integer of a kind of object for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and a kind of object is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
(=> (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 769-779	If a region has capacity for an integer according to a proposition, then if the region expresses the proposition, then the statement there exists an entity such that the entity is an instance of group of people and another entity is a member count of the entity and the other entity is less than or equal to the integer and the entity 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 3117-3133	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 and the object is overlapsSpatially and the object2 is a member of the collection
(=> (heartRate ?H ?T ?I) (exists (?C) (and (instance ?C Collection) (memberType ?C HeartBeat) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 9913-9925	If a heart beats at a rate of an integer beats per a time interval, then there exists a collection such that the collection is an instance of collection and HeartBeat is a member type of the collection and the integer is a member count of the collection and if a process is a member of the collection, then the heart is a patient of the process and the time of existence of the process takes place during the time interval
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES Hole) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 1053-1066	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 the purpose there exist an entity and another entity such that the other entity is a member of the collection and the entity is an instance of finger and the entity partially fills the other entity
(=> (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 1980-1991	If a physical is an instance of bus, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of collection and the other entity is an instance of transportation and the third entity is a member count of the entity and the third entity is greater than 11 and if a fourth entity is a member of the entity, then the fourth entity is a patient of the other entity
(=> (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 a physical if the physical is a member of the collection, then the physical 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 25871-25883	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 784-800	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 22093-22099	If a collection is 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 684-694	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: