TreeView Knowledge Base Browser - KiloFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - KiloFn

KiloFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2440-2442
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6471-6473
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1132-1134
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6468-6468	域千, 1 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6467-6467	例千 and UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6469-6469	範圍千 and UnitOfMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 635-635
No TPTP formula. May not be expressible in strict first order.	english_format.kif 638-638
No TPTP formula. May not be expressible in strict first order.	french_format.kif 384-384
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 158-158
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2114-2114
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 336-336
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 831-831
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 197-197
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 406-406
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 427-427
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 316-316
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32545-32545
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 636-636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32544-32544
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32543-32543
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 317-317

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	等於測量 RealNumber and McgPerKg and MassMeasure 是 MassMeasure 的 per 等於 MassMeasure and 測量 RealNumber and 微公克等於 MassMeasure and 測量 RealNumber and 千公克 Process SelfConnectedObject and SelfConnectedObject 例 Process and Ingesting 例 SelfConnectedObject and BiologicallyActiveSubstance 例 SelfConnectedObject and Organism 患者 Process and SelfConnectedObject agent Process and SelfConnectedObject MassMeasure 是 SelfConnectedObject 的 weight MassMeasure 是 SelfConnectedObject 的 weight
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6475-6479	例 UnitOfMeasure and UnitOfMeasure 等於 UnitOfMeasure and 千 UnitOfMeasure 等於測量 1 and UnitOfMeasure and 測量 1000 and UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31678-31689	roomTempState Substance and PhysicalState 例 Physical and Substance 持有期間 TimePosition and roomTempState Substance and 液體測量 Physical and 測量 101 and 千帕斯卡持有期間 TimePosition and 測量 Physical and 測量 68 and 華氏度

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6503-6507	例 UnitOfMeasure and UnitOfMeasure 等於 UnitOfMeasure and 千兆 UnitOfMeasure 等於測量 1 and UnitOfMeasure and 測量 1000000 and 千 UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6517-6521	例 UnitOfMeasure and UnitOfMeasure 等於 UnitOfMeasure and TERA UnitOfMeasure 等於測量 1 and UnitOfMeasure and 測量 1000000000 and 千 UnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4697-4703	起源南極極地電流 and Object 目的地南極極地電流 and Physical 距離 Object, Physical and 測量 21000.0 and 千儀表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3869-3875	等於 PhysicalQuantity and 測量 RealNumber and 海裡等於 PhysicalQuantity and 測量乘法 RealNumber and 1.852 and 千儀表
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3894-3901	等於 RealNumber and 乘法 1.0 and RealNumber 等於測量 RealNumber and 海裡 and 測量乘法 RealNumber and 1.852 and 千儀表
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	例 TimePosition and EspressoMaking 持有期間 TimePosition and entity entity, entity, entity, entity, entity, entity, entity, entity, entity and entity 例 entity and Heating 患者 entity and entity 測量 entity and 測量 entity and 升 approximateValue entity and 0.03 持有期間結束何時 entity and 測量 entity and 測量 entity and 攝氏度 approximateValue entity and 90 例 entity and 液體運動患者 entity and entity 持有期間 entity and 測量 entity and 測量 entity and 千帕斯卡 approximateValue entity and 900 目的地 entity and entity 例 entity and Collection 測量 entity and 測量 entity and 公克 approximateValue entity and 7.5 會員 entity and entity 例 entity and CoffeeGrind attribute entity and FineGrind 位於 entity and entity 例 entity and 過濾例 entity and Removing 儀器 entity and entity 患者 entity and entity 一時之間結束何時 entity, 結束何時 entity and 結束何時 entity

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1439-1439	測量 1.0 and 千公克是測量 0.0004 and 微公克的 per 是葡萄球菌腸毒素b 的 effective 劑量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3973-3973	等於平方千米 and 千儀表的 square 單位
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4671-4674	length 南部海洋和南極洲的 shoreline and 測量 17968.0 and 千儀表
No TPTP formula. May not be expressible in strict first order.	WMD.kif 439-439	測量 1.0 and 千公克是測量 0.04 and 微公克的 per 是 abrin毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 310-310	測量 1.0 and 千公克是測量 2.0 and 微公克的 per 是 batrachotoxin 的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 325-325	測量 1.0 and 千公克是測量 0.001 and 微公克的 per 是肉毒桿菌毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1840-1840	測量 1.0 and 千公克是測量 23.0 and 毫公克的 per 是二乙酯scirpenol 的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 431-431	測量 1.0 and 千公克是測量 3.0 and 微公克的 per 是蓖麻毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 586-586	測量 1.0 and 千公克是測量 100.0 and 微公克的 per 是沙林的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1339-1339	測量 1.0 and 千公克是測量 0.002 and 微公克的 per 是志賀毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 582-582	測量 1.0 and 千公克是測量 64.0 and 微公克的 per 是梭曼的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1440-1440	測量 1.0 and 千公克是測量 0.02 and 微公克的 per 是葡萄球菌腸毒素b 的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1845-1845	測量 1.0 and 千公克是測量 5.2 and 毫公克的 per 是 t2毒素的 lethal 劑量
No TPTP formula. May not be expressible in strict first order.	WMD.kif 599-599	測量 1.0 and 千公克是測量 15.0 and 微公克的 per 是 VX 的 lethal 劑量

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

Show without tree

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