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 4740-4744
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 4736-4736	域部, 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4737-4737	域部, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5291-5291	身份元素部 and 1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4733-4733	例部 and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4735-4735	例部 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4738-4738	範圍部 and RealNumber

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 20007-20007
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 20006-20006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20005-20005
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 265-265
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 19526-19537	SelfConnectedObject 的 approximate diameter 是測量 RealNumber and RealNumberM Object 的 radius 是測量部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Media.kif 3050-3071	等於 SymbolicString and ReverseFn SymbolicString 等於 NonnegativeInteger and SymbolicString 的 length 比較多 NonnegativeInteger and 1 比較多 NonnegativeInteger and 0 少於 NonnegativeInteger and NonnegativeInteger 等於 Integer and 天花板部減法 NonnegativeInteger and 1 and 2 等於 NonnegativeIntegerEW and 加成減法 Integer and NonnegativeInteger and Integer 等於 SymbolicString and SymbolicString 的 sub_string 從 NonnegativeInteger 對於加成 1 and NonnegativeInteger 等於 SymbolicString and SymbolicString 的 sub_string 從 NonnegativeIntegerEW 對於加成 1 and NonnegativeIntegerEW
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4980-4993	例 Object and CoffeeArabica 測量 Object and 測量 RealNumber and 公克例 ObjectC and Caffeine 部分 ObjectC and Object 測量 ObjectC and 測量 RealNumber and 公克等於 RealNumber and 部 RealNumber and RealNumber 大於或等於 RealNumber and 0.008 小於或等於 RealNumber and 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5004-5017	例 Object and CoffeeRobusta 測量 Object and 測量 RealNumber and 公克例 ObjectC and Caffeine 部分 ObjectC and Object 測量 ObjectC and 測量 RealNumber and 公克等於 RealNumber and 部 RealNumber and RealNumber 大於或等於 RealNumber and 0.017 小於或等於 RealNumber and 0.04
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2203-2213	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 irrigated 土地例 UnitOfMeasure and UnitOfArea 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域等於 RealNumber and 部 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 irrigated 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2215-2225	測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 irrigated 土地測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 total 區域例 UnitOfMeasure and UnitOfArea 等於 RealNumber and 部 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是 GeographicArea 的 irrigated 土地
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3735-3756	測量 Object and 測量 RealNumber and 流明測量 Object and 測量 RealNumber and 流明部分 Object and Object 部分 Object and Object 等於 Object and Object 比較多 RealNumber and RealNumber 等於部 RealNumber and RealNumber and RealNumber contrastRatio Object and RealNumber Object Object, RealNumber and RealNumber 測量 Object and 測量 RealNumber and 流明測量 Object and 測量 RealNumber and 流明部分 Object and Object 部分 Object and Object 等於 Object and Object 比較多 RealNumber and RealNumber 比較多部 RealNumber and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5111-5122	等於 Integer and 0 等於加成乘法地板部 Integer and Integer and Integer and Integer and Integer 等於剩餘 Integer and Integer and Integer
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 538-548	測量 RealNumber and UnitOfMeasure 是金融賬戶的 principal 總額 RealNumber 是金融賬戶的 fixed 固定利息金融賬戶是對於 TimeInterval 的 simple 利息測量 RealNumber and UnitOfMeasure 等於 RealNumber_Decimal and 部 RealNumber and 100 等於 RealNumber and 乘法 RealNumber and RealNumber_Decimal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 587-597	金融賬戶是對於 TimeInterval 的 simple 利息測量 RealNumber and UnitOfMeasure 測量 RealNumber and UnitOfMeasure 是金融賬戶的 principal 總額等於 RealNumber_Decimal and 部 RealNumber and RealNumber 等於 RealNumber and 乘法 RealNumber_Decimal and 100.0 金融賬戶是對於 TimeInterval 每周期 RealNumber 的 interest 速率

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 births and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千裡的 deaths and RealNumber 等於部 GeopoliticalArea 的 population and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千個生存出生裡的 deaths and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Birth 體驗者 SymbolicString and entity 例 entity and Human 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 Integer and 1000 and RealNumber 等於 entityDEATHCOUNT and 基數卡帕 SymbolicString and 例 SymbolicString and Death 體驗者 SymbolicString and entity 例 entity and Human 年齡 entity and 測量 entity and 年持續時間少於 entity and 1 期間何時 SymbolicString and 年等於哪裡 SymbolicString and 何時 SymbolicString and GeopoliticalArea 等於部 entityDEATHCOUNT and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	例年 and 年 Integer 等於 GeopoliticalArea 和年每一千的 migrants and RealNumber 等於減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間年 and 等於 GeopoliticalArea 的 population and RealNumber 等於部 RealNumber and 1000 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間年 and 棲息 SymbolicString and GeopoliticalArea 等於減法 Integer and Integer and RealNumber 等於部 RealNumber and RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	例年 and 年 Integer 等於 GeopoliticalArea 和年的 population 成長 and RealNumber 等於減法 Integer and IntegerP and 1 例 TimePosition and 年 IntegerP 持有期間年 and 等於 GeopoliticalArea 的 population and RealNumber 持有期間 TimePosition and 等於 GeopoliticalArea 的 population and RealNumber 等於部 RealNumber and RealNumber and RealNumber 等於減法 RealNumber and 1 and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	RealNumber 是 List 的 average List PositiveInteger 等於列表長度 List and 列表長度 List 等於清單順序 List and 1 and 清單順序 List and 1 PositiveInteger 在列表中 PositiveInteger and List RealNumber RealNumberMINUSONE, PositiveInteger and PositiveInteger 比較多 RealNumber and 1 小於或等於 RealNumber and 列表長度 List 等於清單順序 List and PositiveInteger and RealNumber 在列表中 PositiveInteger and List 等於 RealNumber and 清單順序 List and PositiveInteger 在列表中 PositiveInteger and List 等於 RealNumberMINUSONE and 減法 RealNumber and 1 等於 RealNumberMINUSONE and 清單順序 List and PositiveInteger 等於 PositiveInteger and 加成 PositiveInteger and PositiveInteger 等於 PositiveInteger and 列表長度 List 等於 RealNumber and 部清單順序 List and PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order.	People.kif 1528-1539	百分之 RealNumber 在信仰團體的人相信信仰團體 Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and 信仰團體會員 Physical and Collection RealNumber1 是 Collection 的 member 計數位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1912-1917	compressionRatio 發動機 and RealNumber minCylinderVolume 發動機 and 測量 RealNumber and UnitOfMeasure maxCylinderVolume 發動機 and 測量 UnitOfMeasureAX and UnitOfMeasure 等於 RealNumber and 部 RealNumber and UnitOfMeasureAX
No TPTP formula. May not be expressible in strict first order.	People.kif 206-223	等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女棲息 SymbolicString and GeopoliticalArea 等於部 Integer and Integer and RealNumber
No TPTP formula. May not be expressible in strict first order.	People.kif 1547-1558	RealNumber percent 的人在 GeographicArea 是 EthnicGroup Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and EthnicGroup 會員 Physical and Collection RealNumber1 是 Collection 的 member 計數位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	People.kif 1566-1577	百分之 RealNumber 的人在 GeographicArea speak Language Collection Collection, SentientAgent, SentientAgent2, RealNumber1 and RealNumber2 位於 SentientAgent and GeographicArea 會員 SentientAgent and Collection Language 是 SentientAgent 的 speaks 語言 RealNumber1 是 Collection 的 member 計數位於 SentientAgent2 and GeographicArea 會員 SentientAgent2 and Collection RealNumber2 是 Collection 的 member 計數等於部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14675-14680	測量 Physical and 測量 RealNumber and OunceMass 測量 Physical and 測量部 RealNumber and 16.0 and 磅質量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5098-5109	等於剩餘 Integer and Integer and Integer 等於 Integer and 0 等於加成乘法地板部 Integer and Integer and Integer and Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3272-3279	等於 RealNumber and AverageFn List 比較多列表長度 List and 0 等於 RealNumber and 部 ListSumFn List and 列表長度 List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1458-1467	等於 RealNumber and VarianceFn List 等於 RealNumber and AverageFn List 等於 RealNumber and 部 VarianceAverageFn RealNumber and List and 列表長度 List
No TPTP formula. May not be expressible in strict first order.	engineering.kif 876-882	gearToothCount 齒輪 and Integer gearToothCount 齒輪 and Integer gearRatio 齒輪, 齒輪 and RealNumber 等於 RealNumber and 部 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4142-4174	例 Object and BimetalTemperatureSensor 例 Object and Metal 例 Object and Metal 等於 Object and Object 部分 Object and Object 部分 Object and Object 例 Entity and TemperatureMeasure 例 Entity and TemperatureMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 例 RealNumber and LengthMeasure 等於 Entity and Entity 等於 TimePosition and TimePosition 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 持有期間 TimePosition and 測量 Object and Entity 測量 Object and RealNumber 測量 Object and RealNumber 等於部 RealNumber and RealNumber and 部 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString 等於 Collection 的 average price and 部 RealNumber and Integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing 等於部基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	例 Entity and EngineChoke 持有期間 Process and attribute Entity and 設備上持有期間 Process and attribute Entity and 設備關閉例 SelfConnectedObject and EngineCylinder ConstantQuantity 是 SelfConnectedObject 的 capacity 例 Process and FourStrokeCompression 例 Process and FourStrokeCompression Process 是 located 在 SelfConnectedObject Process 是 located 在 SelfConnectedObject 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX1 部分 Object and ConstantQuantityIX1 測量 ConstantQuantityIX1 and ConstantQuantity 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX2 部分 Object and ConstantQuantityIX2 測量 ConstantQuantityIX2 and ConstantQuantity 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 比較多部 ObjectM and ObjectM and 部 ObjectM and ObjectM
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	例試驗 and 試驗例 TimeInterval and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗期間何時 SymbolicString and TimeInterval and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage 期間何時 entity and TimeInterval agent entity and SymbolicString and purchases per user 在試驗期間 TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	例試驗 and 試驗例 Entity and TimeInterval 等於部基數卡帕 SymbolicString and 例 SymbolicString and Buying 會員 SymbolicString and purchases 在試驗 and 基數卡帕 SymbolicString and 會員 SymbolicString and treated users 在試驗例 entity and AccessingWebPage agent entity and SymbolicString and purchases per user 在試驗
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5898-5907	例 Human and 人類成人測量 Human and 測量 RealNumber and Pounds bloodVolume Human and 測量 RealNumber and 升等於 RealNumber and 部乘法 RealNumber and 0.07 and 2.33
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	例 SearchResultsPage and SearchResultsPage 例 List and SRPResults 零件 List and SearchResultsPage 等於部基數卡帕 SymbolicString and 例 SymbolicString and RequestingHyperlink 患者 SymbolicString and entity 目的地 SymbolicString and entity 例 entity and HypertextLink 零件 entity and SearchResultsPage 例 entity and ProductDescriptionPage 例 entity and ViewItemPage and 列表長度 List and qualifying clicks 在 SearchResultsPage
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4563-4571	例 RealNumber and Quantity 例 RealNumber and Quantity 等於 RealNumber 的 financial improvement 百分比在 RealNumber 之上 and 部減法 RealNumber and RealNumber and RealNumber

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 7143-7153	等於測量 RealNumber and amu and 測量乘法 RealNumber and 部部部部 1.6605402 and 1000000.0 and 1000000.0 and 1000000.0 and 1000000.0 and 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7179-7185	等於測量 RealNumber and 埃 and 測量乘法 RealNumber and 部部 1.0 and 100000.0 and 100000.0 and 儀表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7377-7379	等於測量 RealNumber and 圓周角度 and 測量乘法 RealNumber and 部 Pi and 180.0 and 弧度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7003-7005	等於測量 RealNumber and 攝氏度 and 測量部減法 RealNumber and 32.0 and 1.8 and 華氏度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7249-7251	等於測量 RealNumber and 杯子 and 測量部 RealNumber and 2 and 品脫
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7161-7169	等於測量 RealNumber and 電子伏特 and 測量乘法 RealNumber and 部部部 1.60217733 and 1000000.0 and 1000000.0 and 10000000.0 and 焦耳
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7258-7260	等於測量 RealNumber and 盎司 and 測量部 RealNumber and 8 and 杯子
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7240-7242	等於測量 RealNumber and 品脫 and 測量部 RealNumber and 2 and 夸脫
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7231-7233	等於測量 RealNumber and 夸脫 and 測量部 RealNumber and 4 and 美國加侖
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14682-14685	RealNumber 等於測量 RealNumber and OunceMass and 測量部 RealNumber and 16.0 and 磅質量

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: