DivisionFn - Sigma 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 4747-4751
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 4743-4743	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 4744-4744	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 5298-5298	1 est un DivisionFn
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4740-4740	DivisionFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4742-4742	DivisionFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4745-4745	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 17975-17986	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 3050-3071	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 5118-5129	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 1911-1916	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 13353-13358	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 5105-5116	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 3278-3285	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 1459-1468	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 4066-4098	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 7368-7370	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 7013-7015	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 7240-7242	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 7249-7251	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 7231-7233	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 7222-7224	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 13360-13363	Nombre r�el nombre r�el OunceMass(s) est nombre r�el + 16.0 PoundMass(s)

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: