TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2220-2223
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4746-4750
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 884-887
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4742-4742	Le nombre 1 argument de DivisionFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4743-4743	Le nombre 2 argument de DivisionFn est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5297-5297	1 est un DivisionFn
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4739-4739	DivisionFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4741-4741	DivisionFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4744-4744	Le domaine de DivisionFn est une instance de nombre r�el

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 686-686
No TPTP formula. May not be expressible in strict first order.	english_format.kif 688-688
No TPTP formula. May not be expressible in strict first order.	french_format.kif 416-416
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 80-80
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2133-2133
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 368-368
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 425-425
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 893-893
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 120-120
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 438-438
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 460-460
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 114-114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19992-19992
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 687-687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19991-19991
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19990-19990
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 176-176

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	approximateDiameter objet en une partie and nombre r�el nombre r�elM(s) sphereRadius objet and nombre r�el + 2.0 nombre r�elM(s) la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet en une partie est nombre r�el unit� de mesure(s) nombre r�elM est une instance de UnitOfLength unit� de mesure est une instance de UnitOfVolume nombre r�el est nombre r�el
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	Cha�ne sympbolique est ReverseFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est plus grand que 1 nombre entier non n�gatif est plus grand que 0 nombre entier non n�gatif est moins que nombre entier non n�gatif nombre entier est plafond de ( nombre entier non n�gatif + 1) + 2 nombre entier non n�gatifEW est nombre entier + nombre entier non n�gatif) + nombre entier) cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and (1 + nombre entier non n�gatif) cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatifEW and (1 + nombre entier non n�gatifEW)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	Objet est une instance de CoffeeArabica la mesure de objet est nombre r�el Gram(s) objetC est une instance de Caffeine objetC est une partie de objet la mesure de objetC est nombre r�el Gram(s) nombre r�el est nombre r�el + nombre r�el nombre r�el est plus grand ou �gal � 0.008 nombre r�el est plus petit ou �gal � 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	Objet est une instance de CoffeeRobusta la mesure de objet est nombre r�el Gram(s) objetC est une instance de Caffeine objetC est une partie de objet la mesure de objetC est nombre r�el Gram(s) nombre r�el est nombre r�el + nombre r�el nombre r�el est plus grand ou �gal � 0.017 nombre r�el est plus petit ou �gal � 0.04
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2215-2225	irrigatedLandArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea totalArea secteur g�ographique and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el irrigatedLandArea secteur g�ographique and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2227-2237	irrigatedLandArea secteur g�ographique and nombre r�el unit� de mesure(s) totalArea secteur g�ographique and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfArea nombre r�el est nombre r�el + nombre r�el irrigatedLandArea secteur g�ographique and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3735-3756	La mesure de objet est nombre r�el Lumen(s) la mesure de objet est nombre r�el Lumen(s) objet est une partie de objet objet est une partie de objet objet est objet nombre r�el est plus grand que nombre r�el nombre r�el + nombre r�el est nombre r�el contrastRatio objet and nombre r�el objet objet, nombre r�el and nombre r�el la mesure de objet est nombre r�el Lumen(s) la mesure de objet est nombre r�el Lumen(s) objet est une partie de objet objet est une partie de objet objet est objet nombre r�el est plus grand que nombre r�el nombre r�el + nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5117-5128	Nombre entier est plus grand nombre entier inf�rieur ou �gal � nombre entier + nombre entier + nombre entier + nombre entier) est nombre entier nombre entier reste nombre entier est nombre entier
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 538-548	principalAmount FinancialAccount and nombre r�el unit� de mesure(s) fixedInterestRate FinancialAccount and nombre r�el simpleInterest FinancialAccount, nombre r�el unit� de mesure(s) and interval temporel nombre r�el-Decimal est nombre r�el + 100 nombre r�el est nombre r�el + nombre r�el-Decimal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 587-597	simpleInterest FinancialAccount, nombre r�el unit� de mesure(s) and interval temporel principalAmount FinancialAccount and nombre r�el unit� de mesure(s) nombre r�el-Decimal est nombre r�el + nombre r�el nombre r�el est nombre r�el-Decimal + 100.0 interestRatePerPeriod FinancialAccount, nombre r�el and interval temporel

consequent

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 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 52-64	Ann�e est une instance de l' ann�e nombre entier PopulationGrowthFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entierP) est position temporel est une instance de l' ann�e nombre entierP PopulationFn secteur g�opolitique est nombre r�el pendant ann�e PopulationFn secteur g�opolitique est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el ( nombre r�el + 1) est nombre r�el
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est un membre de liste nombre r�el nombre r�elMINUSONE, nombre entier positif and nombre entier positif nombre r�el est plus grand que 1 nombre r�el est plus petit ou �gal � longueur de liste nombre entier positifth liste est nombre r�el nombre entier positif est un membre de liste nombre r�el est nombre entier positifth liste nombre entier positif est un membre de liste nombre r�elMINUSONE est nombre r�el + 1) nombre r�elMINUSONE est nombre entier positifth liste nombre entier positif est nombre entier positif + nombre entier positif) nombre entier positif est longueur de liste nombre r�el est nombre entier positifth liste + nombre entier positif
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.	Cars.kif 1928-1933	compressionRatio Engine and nombre r�el minCylinderVolume Engine and nombre r�el unit� de mesure(s) maxCylinderVolume Engine and unit� de mesureAX unit� de mesure(s) nombre r�el est nombre r�el + unit� de mesureAX
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.	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.	Mid-level-ontology.kif 13326-13331	La mesure de physique est nombre r�el OunceMass(s) la mesure de physique est nombre r�el + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5104-5115	Nombre entier reste nombre entier est nombre entier nombre entier est plus grand nombre entier inf�rieur ou �gal � nombre entier + nombre entier + nombre entier + nombre entier) est nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	Nombre r�el est AverageFn liste longueur de liste est plus grand que 0 nombre r�el est ListSumFn liste + longueur de liste
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1475-1484	Nombre r�el est VarianceFn liste nombre r�el est AverageFn liste nombre r�el est VarianceAverageFn nombre r�el and liste + longueur de liste
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4081-4113	Objet est une instance de BimetalTemperatureSensor objet est une instance de m�tal objet est une instance de m�tal objet est objet objet est une partie de objet objet est une partie de objet entit� est une instance de mesure de temperature entit� est une instance de mesure de temperature nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur nombre r�el est une instance de mesure de longueur entit� est entit� position temporel est position temporel la mesure de objet est entit� la mesure de objet est nombre r�el la mesure de objet est nombre r�el pendant position temporel la mesure de objet est entit� la mesure de objet est nombre r�el la mesure de objet est nombre r�el pendant position temporel nombre r�el + nombre r�el est nombre r�el + nombre r�el
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 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.	Cars.kif 1314-1348	Entit� est une instance de EngineChoke DeviceOn est un attribut de entit� pendant processus DeviceOff est un attribut de entit� pendant processus objet en une partie est une instance de EngineCylinder capacity objet en une partie and quantit� constante processus est une instance de FourStrokeCompression processus est une instance de FourStrokeCompression eventLocated processus and objet en une partie eventLocated processus and objet en une partie objet est une instance de Air objet est une instance de Fuel objet est une partie de quantit� constanteIX1 objet est une partie de quantit� constanteIX1 la mesure de quantit� constanteIX1 est quantit� constante objet est une instance de Air objet est une instance de Fuel objet est une partie de quantit� constanteIX2 objet est une partie de quantit� constanteIX2 la mesure de quantit� constanteIX2 est quantit� constante unit� de mesure est une instance de unit� de mesure la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) la mesure de objet est objetM unit� de mesure(s) objetM + objetM est plus grand que objetM + objetM
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.	Medicine.kif 5915-5924	Humain est une instance de HumanAdult la mesure de humain est nombre r�el Pounds(s) bloodVolume humain and nombre r�el2 Liter(s) nombre r�el2 est nombre r�el + 0.07 + 2.33
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.	UXExperimentalTerms.kif 4563-4571	Nombre r�el est une instance de quantit� nombre r�el est une instance de quantit� LiftFn nombre r�el and nombre r�el est nombre r�el + nombre r�el) + nombre r�el
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	Irradier est une instance de RadiatingElectromagnetic carrierFrequency irradier and nombre r�el Hertz(s) wavelength irradier and nombre r�el Meter(s) nombre r�el Meter(s) est nombre r�el Meter(s)

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.	Merge.kif 7367-7369	Nombre r�el AngularDegree(s) est nombre r�el + pi + 180.0 Radian(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7012-7014	Nombre r�el CelsiusDegree(s) est nombre r�el + 32.0) + 1.8 FahrenheitDegree(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7239-7241	Nombre r�el Cup(s) est nombre r�el + 2 Pint(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7248-7250	Nombre r�el Ounce(s) est nombre r�el + 8 Cup(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7230-7232	Nombre r�el Pint(s) est nombre r�el + 2 Quart(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7221-7223	Nombre r�el Quart(s) est nombre r�el + 4 UnitedStatesGallon(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13333-13336	Nombre r�el nombre r�el OunceMass(s) est nombre r�el + 16.0 PoundMass(s)

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

KB Term:			Term intersection

English Word: