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

Formal Language: 



KB Term:  Term intersection
English Word: 

  grainSize

 Sigma KEE - PerFn
PerFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2476-2479
No TPTP formula. May not be expressible in strict first order. Merge.kif 6635-6640
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1169-1173
No TPTP formula. May not be expressible in strict first order. Merge.kif 6630-6630 每 的 1 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6631-6631 每 的 2 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6628-6628 每 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6629-6629 每 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6633-6633 每 的 range 是 函数量 的实例

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1935-1935
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1934-1934
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1933-1933
No TPTP formula. May not be expressible in strict first order. Merge.kif 6642-6642 密度函数 是 每 的 subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6654-6654 速率函数 是 每 的 subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45102-45102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45101-45101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45100-45100

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. Catalog.kif 467-492
No TPTP formula. May not be expressible in strict first order. WMD.kif 803-810
No TPTP formula. May not be expressible in strict first order. WMD.kif 860-867

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


No TPTP formula. May not be expressible in strict first order. Catalog.kif 505-511
No TPTP formula. May not be expressible in strict first order. Weather.kif 1109-1123
No TPTP formula. May not be expressible in strict first order. Weather.kif 2940-2955
No TPTP formula. May not be expressible in strict first order. Catalog.kif 459-465
No TPTP formula. May not be expressible in strict first order. Catalog.kif 402-407

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. Mid-level-ontology.kif 13696-13700 1.0 平方英里 equal 1.0 英里 是 1.0 英里 的 per
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13706-13710 1.0 方码 equal 1.0 院子长度 是 1.0 院子长度 的 per
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