Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  KiloFn

 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 数量 是 测量单位 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6467-6467 千倍函数 是 UnitOfMeasureMultiplier 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6469-6469 千倍函数 的 range 是 测量单位 的实例

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
No TPTP formula. May not be expressible in strict first order. Merge.kif 6475-6479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31678-31689

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6503-6507
No TPTP formula. May not be expressible in strict first order. Merge.kif 6517-6521
No TPTP formula. May not be expressible in strict first order. Geography.kif 4697-4703
No TPTP formula. May not be expressible in strict first order. Geography.kif 3869-3875
No TPTP formula. May not be expressible in strict first order. Geography.kif 3894-3901
No TPTP formula. May not be expressible in strict first order. Food.kif 799-834

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1439-1439 1.0 公克 的一千倍 是 0.0004 公克 的百万分之一 的 per 是 葡萄球菌肠毒素b 的 effective 剂量
No TPTP formula. May not be expressible in strict first order. Geography.kif 3973-3973 平方千米 equal 仪表 的一千倍 的 square 单位
No TPTP formula. May not be expressible in strict first order. Geography.kif 4671-4674 南部海洋 和 南极洲 的 shoreline 的 length 是 17968.0 仪表 的一千倍
No TPTP formula. May not be expressible in strict first order. WMD.kif 439-439 1.0 公克 的一千倍 是 0.04 公克 的百万分之一 的 per 是 abrin毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 310-310 1.0 公克 的一千倍 是 2.0 公克 的百万分之一 的 per 是 batrachotoxin 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 325-325 1.0 公克 的一千倍 是 0.001 公克 的百万分之一 的 per 是 肉毒杆菌毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1840-1840 1.0 公克 的一千倍 是 23.0 公克 的千分之一 的 per 是 二乙酯scirpenol 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 431-431 1.0 公克 的一千倍 是 3.0 公克 的百万分之一 的 per 是 蓖麻毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 586-586 1.0 公克 的一千倍 是 100.0 公克 的百万分之一 的 per 是 沙林 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1339-1339 1.0 公克 的一千倍 是 0.002 公克 的百万分之一 的 per 是 志贺毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 582-582 1.0 公克 的一千倍 是 64.0 公克 的百万分之一 的 per 是 梭曼 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1440-1440 1.0 公克 的一千倍 是 0.02 公克 的百万分之一 的 per 是 葡萄球菌肠毒素b 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 1845-1845 1.0 公克 的一千倍 是 5.2 公克 的千分之一 的 per 是 t2毒素 的 lethal 剂量
No TPTP formula. May not be expressible in strict first order. WMD.kif 599-599 1.0 公克 的一千倍 是 15.0 公克 的百万分之一 的 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