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 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	除法函数的 1 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4743-4743	除法函数的 2 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5297-5297	1 是除法函数的单位元
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4739-4739	除法函数是二元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4741-4741	除法函数是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4744-4744	除法函数的 range 是实数的实例

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	如果 1 的 approximate diameter 是 %2 和客体的 radius 是实数和 2.0 那个实数M 和那个客体的 measure 是另一个实数另一个测量单位和自身连接物体的 measure 是第三实数那个另外测量单位和那个实数M 是 UnitOfLength 的 instance 和那个另外测量单位是 UnitOfVolume 的 instance，然后那个另外实数 equal 那个第三实数
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	如果符号串 equal ReverseFn 另一个符号串和非负整数 equal 那个另外符号串的 length 和那个非负整数是 greaterThan 1 和另一个非负整数是 greaterThan 0 和那个另外非负整数是 lessThan 那个非负整数和整数 equal 取(那个非负整数和 1) 和 2 的顶整数和那个另外非负整数EW equal ((那个整数和那个另外非负整数) 和那个整数) 和第三符号串 equal 那个另外符号串的 sub-string 从那个另外非负整数对于 (1 和那个另外非负整数) ，然后那个第三符号串 equal 那个符号串的 sub-string 从那个另外非负整数EW 对于 (1 和那个另外非负整数EW)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	如果客体是 CoffeeArabica 的 instance 和那个客体的 measure 是实数公克和那个客体C 是 Caffeine 的 instance 和那个客体C 是那个客体的 part 和那个客体C 的 measure 是另一个实数公克和第三实数 equal 那个另外实数和那个实数，然后那个第三实数是 greaterThanOrEqualTo 0.008 和那个第三实数是 lessThanOrEqualTo 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	如果客体是 CoffeeRobusta 的 instance 和那个客体的 measure 是实数公克和那个客体C 是 Caffeine 的 instance 和那个客体C 是那个客体的 part 和那个客体C 的 measure 是另一个实数公克和第三实数 equal 那个另外实数和那个实数，然后那个第三实数是 greaterThanOrEqualTo 0.017 和那个第三实数是 lessThanOrEqualTo 0.04
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2215-2225	如果实数测量单位是地理区域的 irrigated 土地和那个测量单位是 UnitOfArea 的 instance 和另一个实数那个测量单位是那个地理区域的 total 區域和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 irrigated 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2227-2237	如果实数测量单位是地理区域的 irrigated 土地和另一个实数那个测量单位是那个地理区域的 total 區域和那个测量单位是 UnitOfArea 的 instance 和第三实数 equal 那个实数和那个另外实数，然后那个第三实数那个测量单位是那个地理区域的 irrigated 土地
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3735-3756	如果客体的 measure 是实数流明和另一个客体的 measure 是另一个实数流明和那个客体是第三客体的 part 和那个另外客体是那个第三客体的 part 和那个客体不 equal 那个另外客体和那个实数是 greaterThan 那个另外实数和那个实数和那个另外实数 equal 第三实数和 contrastRatio 那个第三客体 and 那个第三实数，然后不存在第四客体，第五客体,，，第四实数， and 和第五实数这样那个第四客体的 measure 是那个第四实数流明和那个第五客体的 measure 是那个第五实数流明和那个第四客体是那个第三客体的 part 和那个第五客体是那个第三客体的 part 和那个第四客体不 equal 那个第五客体和那个第四实数是 greaterThan 那个第五实数和那个第四实数和那个第五实数是 greaterThan 那个第三实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5117-5128	如果整数不 equal 0 和 (取另一个整数和那个整数的底整数和那个整数和第三整数) equal 那个另外整数，然后那个另外整数模除那个整数 equal 那个第三整数
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 538-548	如果实数测量单位是金融账户的 principal 总额和另一个实数是那个金融账户的 fixed 固定利息和那个金融账户是对于时距的 simple 利息第三实数那个测量单位和那个另外实数-Decimal equal 那个另外实数和 100，然后那个第三实数 equal 那个实数和那个另外实数-Decimal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 587-597	如果金融账户是对于时距的 simple 利息实数测量单位和另一个实数那个测量单位是那个金融账户的 principal 总额和第三实数-Decimal equal 那个实数和那个另外实数和那个第三实数 equal 那个第三实数-Decimal 和 100.0，然后那个金融账户是对于那个时距每周期那个第三实数的 interest 速率

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	年是整数 year 的 instance 和地缘政治区域和那个年每一千的 births equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	年是整数 year 的 instance 和地缘政治区域和那个年每一千里的 deaths equal 实数若且唯若那个地缘政治区域的 population 和 1000 equal 另一个实数和另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	年是整数 year 的 instance 和地缘政治区域和那个年每一千个生存出生里的 deaths equal 实数若且唯若另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和 1000 equal 另一个实数和第三整数 equal 另一个符号串所描述的类别 instance 的数量和那个第三整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	年是整数 year 的 instance 和地缘政治区域和那个年每一千的 migrants equal 实数若且唯若 (那个整数和另一个整数) equal 1 和实体是那个另外整数 year 的 instance 和那个地缘政治区域的 population equal 另一个实数在那个年 holdsDuring 和那个另外实数和 1000 equal 第三实数和第三整数 equal 符号串所描述的类别 instance 的数量和第四整数 equal 那个符号串所描述的类别 instance 的数量和 (那个第三整数和那个第四整数) equal 第四实数和那个第四实数和那个第三实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	年是整数 year 的 instance 和地缘政治区域和那个年的 population 成长 equal 实数若且唯若 (那个整数和那个整数P) equal 1 和时间位置是那个整数P year 的 instance 和那个地缘政治区域的 population equal 另一个实数在那个年 holdsDuring 和那个地缘政治区域的 population equal 第三实数在那个时间位置 holdsDuring 和那个另外实数和那个第三实数 equal 第四实数和 (那个第四实数和 1) equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	实数是串列的 average 若且唯若有存在另一个串列和正整数这样那个另外串列的长度 equal 那个串列的长度和那个另外串列的第 1 几个元素 equal 那个串列的第 1 几个元素和对所有另一个正整数如果那个另外正整数是那个另外串列的 member，然后有存在另一个实数，那个另外实数MINUSONE,，，第三正整数， and 和第四正整数这样那个另外实数是 greaterThan 1 和那个另外实数是 lessThanOrEqualTo 那个另外串列的长度和那个另外串列的第那个另外正整数几个元素 equal 那个另外实数和那个第三正整数是那个串列的 member 和那个另外实数 equal 那个串列的第那个第三正整数几个元素和那个第四正整数是那个另外串列的 member 和那个另外实数MINUSONE equal (那个另外实数和 1) 和那个另外实数MINUSONE equal 那个另外串列的第那个第四正整数几个元素和那个另外正整数 equal (那个第三正整数和那个第四正整数) 和那个正整数 equal 那个另外串列的长度和那个实数 equal 那个另外串列的第那个正整数几个元素和那个正整数
No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	百分之实数在信仰团体的人相信那个信仰团体若且唯若有存在群体，另一个群体,，，物理,，，那个物理2,，，那个实数1， and 和那个实数2 这样那个物理是 located 在地理区域和那个物理是那个信仰团体的 member 和那个物理是那个群体的 member 和那个实数1 是那个群体的 member 计数和那个物理2 是 located 在那个地理区域和那个物理2 是那个另外群体的 member 和那个实数2 是那个另外群体的 member 计数和那个实数和 100 equal 那个实数1 和那个实数2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1928-1933	compressionRatio 发动机 and 实数若且唯若 minCylinderVolume 那个发动机 and 另一个实数测量单位和 maxCylinderVolume 那个发动机 and 那个测量单位AX 那个测量单位和那个实数 equal 那个另外实数和那个测量单位AX
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	地缘政治区域的 male 对母性比率 equal 实数若且唯若整数 equal 符号串所描述的类别 instance 的数量和另一个整数 equal 另一个符号串所描述的类别 instance 的数量和那个整数和那个另外整数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	实数 percent 的人在地理区域是民族群组若且唯若有存在群体，另一个群体,，，物理,，，那个物理2,，，那个实数1， and 和那个实数2 这样那个物理是 located 在那个地理区域和那个物理是那个民族群组的 member 和那个物理是那个群体的 member 和那个实数1 是那个群体的 member 计数和那个物理2 是 located 在那个地理区域和那个物理2 是那个另外群体的 member 和那个实数2 是那个另外群体的 member 计数和那个实数和 100 equal 那个实数1 和那个实数2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	百分之实数的人在地理区域 speak 语言若且唯若有存在群体，另一个群体,，，有感知的主事,，，那个有感知的主事2,，，那个实数1， and 和那个实数2 这样那个有感知的主事是 located 在那个地理区域和那个有感知的主事是那个群体的 member 和那个语言是那个有感知的主事的 speaks 语言和那个实数1 是那个群体的 member 计数和那个有感知的主事2 是 located 在那个地理区域和那个有感知的主事2 是那个另外群体的 member 和那个实数2 是那个另外群体的 member 计数和那个实数和 100 equal 那个实数1 和那个实数2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13326-13331	物理的 measure 是实数 OunceMass 若且唯若那个物理的 measure 是那个实数和 16.0 磅质量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5104-5115	如果整数模除另一个整数 equal 第三整数和那个另外整数不 equal 0，然后 (取那个整数和那个另外整数的底整数和那个另外整数和那个第三整数) equal 那个整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	如果实数 equal AverageFn 串列和那个串列的长度是 greaterThan 0，然后那个实数 equal ListSumFn 那个串列和那个串列的长度
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1475-1484	如果实数 equal 方差函数串列和另一个实数 equal AverageFn 那个串列，然后那个实数 equal 方差均差函数那个另外实数 and 那个串列和那个串列的长度
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4081-4113	如果客体是 BimetalTemperatureSensor 的 instance 和另一个客体是金属的 instance 和第三客体是金属的 instance 和那个另外客体不 equal 那个第三客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part 和实体是温度测量的 instance 和另一个实体是温度测量的 instance 和实数是长度测量的 instance 和另一个实数是长度测量的 instance 和第三实数是长度测量的 instance 和第四实数是长度测量的 instance 和那个实体不 equal 那个另外实体和时间位置不 equal 另一个时间位置和那个客体的 measure 是那个实体和那个另外客体的 measure 是那个实数和那个第三客体的 measure 是那个另外实数在那个时间位置 holdsDuring 和那个客体的 measure 是那个另外实体和那个另外客体的 measure 是那个第三实数和那个第三客体的 measure 是那个第四实数在那个另外时间位置 holdsDuring，然后那个实数和那个另外实数不 equal 那个第三实数和那个第四实数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	如果群体是群体的 instance 和实数是货币测量的 instance 和整数是实数的 instance 和那个实数 equal 那个群体的 value 和那个整数 equal 符号串所描述的类别 instance 的数量，然后那个群体的 average price equal 那个实数和那个整数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	如果群体是群体的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是 WebListing 的 instance ，然后有存在实体，另一个实体， and 和第三实体这样那个实体所描述的类别 instance 的数量和那个群体 instance 的数量 equal 在那个群体的 bids 數字
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	如果实体是 EngineChoke 的 instance 和设备上是那个实体的 attribute 在过程 holdsDuring 和设备关闭是那个实体的 attribute 在另一个过程 holdsDuring 和自身连接物体是 EngineCylinder 的 instance 和恒量是那个自身连接物体的 capacity 和那个过程是 FourStrokeCompression 的 instance 和那个另外过程是 FourStrokeCompression 的 instance 和那个过程是 located 在那个自身连接物体和那个另外过程是 located 在那个自身连接物体和客体是空气的 instance 和另一个客体是汽油的 instance 和那个客体是那个恒量IX1 的 part 和那个另外客体是那个恒量IX1 的 part 和那个恒量IX1 的 measure 是那个恒量和第四客体是空气的 instance 和第五客体是汽油的 instance 和那个第四客体是那个恒量IX2 的 part 和那个第五客体是那个恒量IX2 的 part 和那个恒量IX2 的 measure 是那个恒量和测量单位是测量单位的 instance 和那个客体的 measure 是那个客体M 那个测量单位和那个第四客体的 measure 是那个第四客体M 那个测量单位和那个另外客体的 measure 是那个另外客体M 那个测量单位和那个第五客体的 measure 是那个第五客体M 那个测量单位，然后那个第四客体M 和那个第五客体M 是 greaterThan 那个客体M 和那个另外客体M
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	如果试验是试验的 instance 和时距是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验期间那个时距
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	如果试验是试验的 instance 和实体是时距的 instance，然后符号串所描述的类别 instance 的数量和另一个符号串所描述的类别 instance 的数量 equal purchases per user 在那个试验
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5915-5924	如果人类是人类成人的 instance 和那个人类的 measure 是实数 Pounds，然后 bloodVolume 那个人类 and 那个实数2 升和那个实数2 equal 那个实数和 0.07 和 2.33
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	如果 SearchResultsPage 是 SearchResultsPage 的 instance 和串列是 SRPResults 的 instance 和那个串列是那个 SearchResultsPage 的 component，然后符号串所描述的类别 instance 的数量和那个串列的长度 equal qualifying clicks 在那个 SearchResultsPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4563-4571	如果实数是数量的 instance 和另一个实数是数量的 instance，然后那个实数的 financial improvement 百分比在那个另外实数之上 equal (那个实数和那个另外实数) 和那个另外实数
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	如果辐射是辐射电磁的 instance 和那个辐射载波的频率是实数赫兹和那个辐射的 wavelength 是另一个实数仪表，然后那个另外实数仪表 equal 299792458 和那个实数仪表

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	实数圆周角度 equal 那个实数和圆周率和 180.0 弧度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7012-7014	实数摄氏度 equal (那个实数和 32.0) 和 1.8 华氏度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7239-7241	实数杯子 equal 那个实数和 2 品脱
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7248-7250	实数盎司 equal 那个实数和 8 杯子
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7230-7232	实数品脱 equal 那个实数和 2 夸脱
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7221-7223	实数夸脱 equal 那个实数和 4 美国加仑
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13333-13336	对所有实数那个实数 OunceMass equal 那个实数和 16.0 磅质量

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: