TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2493-2493
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6703-6704
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1187-1188
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6599-6599
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6701-6701	例公克 and SystemeInternationalUnit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6700-6700	例公克 and UnitOfMass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26376-26376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26375-26375
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26374-26374

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 13
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.	Geography.kif 2873-2884	例 Object and Brine 測量 Object and 測量 1.0 and 升部分 Object and Object 例 Object and 鹽測量 Object and 測量 RealNumber and 公克比較多 RealNumber and 35.0 小於或等於 RealNumber and 260.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	例 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 4669-4682	例 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.	Food.kif 3124-3136	例 Object and Cream 部分 Object and Object 例 Object and ButterFat 測量 Object and 測量 RealNumber and 公克例 Object and 奶部分 Object and Object 例 Object and ButterFat 測量 Object and 測量 RealNumber and 公克比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Food.kif 2463-2478	例 SelfConnectedObject and CocoaLiquor 測量 100.0 and 公克是 SelfConnectedObject 的 weight 例 SelfConnectedObject and 可可粉部分 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and 公克是 SelfConnectedObject 的 weight 例 SelfConnectedObject and 可可脂部分 SelfConnectedObject and SelfConnectedObject 測量 RealNumber and 公克是 SelfConnectedObject 的 weight approximateValue RealNumber and 50.0 approximateValue RealNumber and 50.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2855-2866	例 Object and BrackishWater 測量 Object and 測量 1.0 and 升部分 Object and Object 例 Object and 鹽測量 Object and 測量 RealNumber and 公克比較多 RealNumber and 0.5 小於或等於 RealNumber and 30.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2836-2845	例 Object and SeaWater 測量 Object and 測量 1.0 and 升部分 Object and Object 例 Object and 鹽測量 Object and 測量 RealNumber and 公克 approximateValue RealNumber and 35.0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克比較多 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克比較多 RealNumber and 13

consequent

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.	Food.kif 2524-2525	一盒巧克力的預期 value 是測量 250.0 and 公克
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.	Merge.kif 7151-7153	等於測量 RealNumber and amu and 測量乘法 RealNumber and 1.6605402E-24 and 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7279-7282	等於測量 RealNumber and 公斤 and 測量乘法 RealNumber and 1000 and 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7296-7298	等於測量 RealNumber and 磅質量 and 測量乘法 RealNumber and 453.59237 and 公克
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7304-7306	等於測量 RealNumber and 金屬塊 and 測量乘法 RealNumber and 14593.90 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

KB Term:			Term intersection

English Word: