TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2309-2309
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5512-5514
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 980-981
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5509-5509	Le nombre 1 argument de CardinalityFn est une instance de l' union de ensemble ou classe et collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5508-5508	CardinalityFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5510-5510	Le domaine de CardinalityFn est une instance de nombre entier

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order.	english_format.kif 511-511
No TPTP formula. May not be expressible in strict first order.	french_format.kif 296-296
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 41-41
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2073-2073
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 248-248
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 75-75
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 659-659
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 317-317
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 324-324
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 98-98
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 507-507
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13212-13212
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13211-13211
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13210-13210
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 99-99

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1007-1011	Entit� est une instance de PersonalAccount le nombre d' instances dans la classe d�crite par cha�ne sympbolique est plus grand que 1 entit� est une instance de JointAccount
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8072-8079	Secteur g�opolitique est une instance de secteur g�opolitique nombre entier est instances dans CitizenryFn secteur g�opolitique nombre entier est instances dans ResidentFn secteur g�opolitique nombre entier est plus grand ou �gal � nombre entier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	Collection est une instance de collection nombre r�el est une instance de mesure de devise nombre entier est une instance de nombre r�el nombre r�el est GMBFn collection nombre entier est instances dans la classe d�crite par cha�ne sympbolique ABPFn collection est nombre r�el + nombre entier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	Collection est une instance de collection nombre r�el est une instance de mesure de devise nombre entier est une instance de nombre r�el nombre r�el est GMVFn collection nombre entier est instances dans la classe d�crite par cha�ne sympbolique ASPFn collection est nombre r�el + nombre entier
No TPTP formula. May not be expressible in strict first order.	Government.kif 410-414	Ensemble ou classe est une instance de ensemble ou classe le nombre d' instances dans ensemble ou classe est nombre entier non n�gatif cardinality ensemble ou classe and nombre entier non n�gatif

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	Ann�e est une instance de l' ann�e nombre entier BirthsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandFn secteur g�opolitique and ann�e est nombre r�el PopulationFn secteur g�opolitique + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM listeITEM est un membre de liste listeITEM est une instance de cha�ne sympbolique entit� entit� est une instance de cha�ne sympbolique entit� est un membre de liste nombre entier est instances dans la classe d�crite par cha�ne sympbolique average liste and nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 828-835	chromosomeSetCount MonoploidChromosomeSet, collection and nombre entier MonoploidChromosomeSet est une sous-collection appartenant � collection nombre entier est instances dans la classe d�crite par nombre entier
No TPTP formula. May not be expressible in strict first order.	Media.kif 2137-2150	exactCardinality relation, nombre entier positif and nombre entier relation est une instance de predicat classe entit� and @ARGS classe est une instance de ensemble ou classe relation @ARGS entit� est nombre entier positifth entit� est une instance de classe le nombre d' instances dans classe est nombre entier
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 812-817	Secteur g�opolitique est une instance de AmericanCity secteur g�opolitique est une partie de California secteur g�opolitique est LosAngelesCalifornia le nombre d' instances dans ResidentFn LosAngelesCalifornia est plus grand que le nombre d' instances dans ResidentFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 59-65	Secteur g�opolitique est une instance de ville secteur g�opolitique est une partie de France le nombre d' instances dans ResidentFn secteur g�opolitique est plus petit ou �gal � le nombre d' instances dans ResidentFn Paris
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	Collection est une instance de collection physique physique est un membre de collection physique est une instance de financial transaction cha�ne sympbolique entit� le nombre d' instances dans la classe d�crite par cha�ne sympbolique est BoughtItemsFn collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	Collection est une instance de collection physique physique est un membre de collection physique est une instance de WebListing le nombre d' instances dans entit� entit� and entit� la classe d�crite par entit� + le nombre d' instances dans collection est BidCountFn collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	Collection est une instance de collection physique physique est un membre de collection physique est une instance de WebListing cha�ne sympbolique entit�, entit� and cha�ne sympbolique le nombre d' instances dans la classe d�crite par cha�ne sympbolique est BidCountFn collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12182-12188	Processus est une instance de compter processus est un agent de agent cognitif entit� est un patient de processus entit� agent cognitif conna�t le nombre d' instances dans entit� est entit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	Experimenting est une instance de Experimenting interval temporel est une instance de interval temporel le nombre d' instances dans la classe d�crite par cha�ne sympbolique + le nombre d' instances dans la classe d�crite par cha�ne sympbolique est PPIFn Experimenting and interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	Experimenting est une instance de Experimenting entit� est une instance de interval temporel le nombre d' instances dans la classe d�crite par cha�ne sympbolique + le nombre d' instances dans la classe d�crite par cha�ne sympbolique est PPSFn Experimenting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9499-9503	Interval temporel est une instance de mois la dur�� de interval temporel est nombre entier DayDuration(s) le nombre d' instances dans decomposition de interval temporel en jours est nombre entier
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	SearchResultsPage est une instance de SearchResultsPage liste est une instance de SRPResults liste est un composant de SearchResultsPage le nombre d' instances dans la classe d�crite par cha�ne sympbolique + longueur de liste est SRPEngagementFn SearchResultsPage
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 897-901	Secteur g�opolitique est une instance de AmericanState secteur g�opolitique est California le nombre d' instances dans ResidentFn California est plus grand que le nombre d' instances dans ResidentFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	Collection est une instance de collection objet corpusculaire est une instance de HypertextLink physique physique est un membre de collection physique est une instance de AccessingWebPage collection est un composant de objet corpusculaire collection collection est une instance de collection processus processus est une instance de RequestingHyperlink objet corpusculaire est un patient de processus processus est un membre de collection ClickThroughRateFn collection and objet corpusculaire est instances dans collection + le nombre d' instances dans collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	Collection est une instance de collection collection est une instance de collection collection est une sous-collection appartenant � collection physique physique est un membre de collection physique est une instance de AccessingWebPage processus AutonomousAgent, processus, processus and objet AutonomousAgent est une instance de humain processus est une instance de acheter processus est une instance de AccessingWebPage objet est une instance de WebPage processus est un membre de collection processus aboutit � objet processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant temps d'existence de processus objet est un instrument pour processus processus est un membre de collection interval temporel entit�_IN_INTERVAL and entit�_IN_INTERVAL SCRFn collection and interval temporel est instances dans la classe d�crite par entit�_IN_INTERVAL + le nombre d' instances dans la classe d�crite par entit�_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	Media.kif 2210-2223	maxCardinality relation, nombre entier positif and nombre entier relation est une instance de predicat classe entit� and @ARGS classe est une instance de ensemble ou classe relation @ARGS entit� est nombre entier positifth entit� est une instance de classe le nombre d' instances dans classe est plus petit ou �gal � nombre entier
No TPTP formula. May not be expressible in strict first order.	Media.kif 2174-2187	minCardinality relation, nombre entier positif and nombre entier relation est une instance de predicat classe entit� and @ARGS classe est une instance de ensemble ou classe relation @ARGS entit� est nombre entier positifth entit� est une instance de classe le nombre d' instances dans classe est plus grand ou �gal � nombre entier

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	People.kif 456-469	Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Military.kif 863-872	AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4888-4891	Le nombre d' instances dans la classe d�crite par cha�ne sympbolique est &%�gal � 3
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14228-14228	Le nombre d' instances dans continent est &%�gal � 7
No TPTP formula. May not be expressible in strict first order.	Media.kif 2003-2003	Le nombre d' instances dans NativityMagi est &%�gal � 3
No TPTP formula. May not be expressible in strict first order.	Military.kif 886-897	FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31766-31771	OrganismPopulationFn organisme and secteur g�ographique est instances dans la classe d�crite par organismeI
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31744-31749	PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Military.kif 924-937	ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 1965-1965	Le nombre d' instances dans TwelveApostles est plus grand ou �gal � 11
No TPTP formula. May not be expressible in strict first order.	Media.kif 1966-1966	Le nombre d' instances dans TwelveApostles est plus petit ou �gal � 12

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

KB Term:			Term intersection

English Word: