memberCount - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22636-22637
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22633-22633	Le nombre 1 argument de memberCount est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22634-22634	Le nombre 2 argument de memberCount est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22632-22632	memberCount est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1683-1683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1682-1682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1681-1681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37001-37001
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37000-37000
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36999-36999

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 742-746	MonoploidChromosomeSet est une instance de MonoploidChromosomeSet memberCount MonoploidChromosomeSet and nombre entier monoploidNumber MonoploidChromosomeSet and nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7939-7946	Processus est une instance de LargeGroupProcess collection est une instance de collection physique est un membre de collection involvedInEvent processus and physique memberCount collection and nombre entier nombre entier est plus grand que 10
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4187-4195	Processus est une instance de Spamming collection est une instance de GroupOfPeople memberCount collection and nombre entier processus aboutit � collection l'argument nombre entier est plus grand que 100 a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21951-21957	Processus est une instance de Kidnapping collection est une instance de GroupOfPeople memberCount collection and nombre entier collection est un patient de processus nombre entier est moins que 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22678-22682	memberCount collection and nombre entier memberTypeCount collection, classe and nombre entier non n�gatif nombre entier est plus grand ou �gal � nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Government.kif 2074-2078	seatsInOrganizationCount organisation and nombre entier memberCount organisation and nombre entier nombre entier est plus grand ou �gal � nombre entier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22639-22645	memberCount collection and nombre entier nombre entier est instances dans la classe d�crite par cha�ne sympbolique

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	beliefGroupPercentInRegion BeliefGroup, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de BeliefGroup physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	ethnicityPercentInRegion groupe ethnique, nombre r�el and secteur g�ographique collection collection, physique, physique2, nombre r�el1 and nombre r�el2 physique est situ� � secteur g�ographique physique est un membre de groupe ethnique physique est un membre de collection memberCount collection and nombre r�el1 physique2 est situ� � secteur g�ographique physique2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	languagePercentInRegion langage, nombre r�el and secteur g�ographique collection collection, sentient agent, sentient agent2, nombre r�el1 and nombre r�el2 sentient agent est situ� � secteur g�ographique sentient agent est un membre de collection speaksLanguage sentient agent and langage memberCount collection and nombre r�el1 sentient agent2 est situ� � secteur g�ographique sentient agent2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 702-710	chromosomeNumber EukaryoticCell and nombre entier objet est une partie de EukaryoticCell objet est une instance de CellNucleus EukaryoticCellOLL est une instance de collection EukaryoticCellOLL est situ� � objet memberType EukaryoticCellOLL and Chromosome memberCount EukaryoticCellOLL and nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 793-802	haploidNumber Gamete and nombre entier Gamete est une instance de Gamete objet est une partie de Gamete objet est une instance de CellNucleus collection est une instance de collection collection est situ� � objet memberType collection and Chromosome memberCount collection and nombre entier
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objet est une instance de Crystal MonoCrystalline est un attribut de objet objet en une partie est une instance de substance Solid est un attribut de objet en une partie PolyCrystalline est un attribut de objet en une partie objet en une partie est une instance de substance objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objetLNT nombre entier and objet objetLNT est une instance de collection memberCount objetLNT and nombre entier nombre entier est plus grand ou �gal � 4 objet est un membre de objetLNT objet est une partie de objet en une partie objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	Objet est une instance de substance compos�e substance compos�e est une sous-classe de substance compos�e objet objet est une instance de substance compos�e objet est une partie de objet molecularRatio substance �l�mentaire, nombre entier and substance compos�e collection est une instance de groupe objet est un membre de collection objet est une partie de objet objet est une instance de substance �l�mentaire memberCount collection and nombre entier
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1450-1456	Collection est une instance de Eyebrow Healthy est un attribut de objet collection est une partie de objet physique est un membre de collection memberCount collection and 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3528-3533	Collection est une instance de Fleet fleetSize AutonomousAgent and nombre entier AutonomousAgent poss�de collection memberCount collection and nombre entier
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	maxRoomCapacity artefact stationnaire and nombre entier entit� est une instance de artefact stationnaire entit� est un appartenir � AutonomousAgent l'argument entit� entit� entit� est une instance de GroupOfPeople memberCount entit� and entit� entit� est plus petit ou �gal � nombre entier stays entit� and entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	numberAdultOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection est une instance de GroupOfPeople memberType collection and HumanAdult memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	numberChildOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection collection est une instance de GroupOfPeople collection est une sous-collection appartenant � collection collection est une instance de GroupOfPeople memberType collection and HumanChild memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	numberOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection est une instance de GroupOfPeople memberType collection and humain memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	numberOfCustomers nombre entier positif and Reservation fulfillingEntity AutonomousAgent and Reservation reservingEntity AutonomousAgent and Reservation collection potentialCustomer collection and AutonomousAgent collection est une instance de GroupOfPeople AutonomousAgent est un membre de collection memberCount collection and nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	numberSeniorOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection nombre r�el collection est une instance de GroupOfPeople physique physique est un membre de collection physique est une instance de HumanAdult l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 60 memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30944-30959	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30886-30896	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30911-30926	shortage AutonomousAgent, objet, mesure de devise, interval temporel and nombre entier nombre entier est une instance de nombre entier transf�re collection transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and collection transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent collection est une instance de collection memberType collection and objet memberCount collection and nombre entier AutonomousAgent poss�de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10385-10397	breathingRate Lung, interval temporel and nombre entier collection processus collection est une instance de collection memberType collection and Breath memberCount collection and nombre entier processus est un membre de collection Lung est un patient de processus temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-800	capacityByArrangement r�gion, proposition and nombre entier r�gion d�finie proposition l'argument entit� entit� entit� est une instance de GroupOfPeople memberCount entit� and entit� entit� est plus petit ou �gal � nombre entier entit� est situ� � r�gion a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3124-3141	coilCount WireCoil and nombre entier collection collection2F collection est une instance de collection memberCount collection and nombre entier objet objet est un membre de collection collection2F est un attribut de objet collection2F est une instance de ClosedTwoDimensionalFigure objet est une partie de WireCoil objet2 objet2 recouvre objet objet2 est un membre de collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10344-10356	heartRate Heart, interval temporel and nombre entier collection processus collection est une instance de collection memberType collection and HeartBeat memberCount collection and nombre entier processus est un membre de collection Heart est un patient de processus temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1126-1139	Objet est une instance de BowlingBall collection collection est une instance de collection memberType collection and trou memberCount collection and 3 collection est situ� � objet collection a pour but entit� entit� entit� est un membre de collection entit� est une instance de Finger entit� remplie partiellemnet entit�
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	Physique est une instance de Bus physique a pour but entit� entit�, entit� and entit� entit� est une instance de collection entit� est une instance de transporter memberCount entit� and entit� entit� est plus grand que 11 entit� est un membre de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 78-88	Objet est une instance de ParkingLot collection nombre entier collection est situ� � objet physique physique est un membre de collection physique est une instance de ParkingRegion memberCount collection and nombre entier nombre entier est plus grand que 1

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

KB Term:			Term intersection

English Word: