TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22637-22638
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22634-22634	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 22635-22635	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 22633-22633	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 743-747	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 7940-7947	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 21952-21958	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 22679-22683	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 22640-22646	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 703-711	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 794-803	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 1772-1786	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 30956-30971	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 30898-30908	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 30923-30938	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 10386-10398	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 3117-3133	coilCount WireCoil and nombre entier collection collection est une instance de collection memberCount collection and nombre entier objet objet est un membre de collection ClosedTwoDimensionalFigure est un attribut de objet 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 10345-10357	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 1125-1138	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: