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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PerFn

 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 6636-6641
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 6631-6631 每 的 1 数量 是 物理量 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6632-6632 每 的 2 数量 是 物理量 的 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 6630-6630 每 是 总值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 6634-6634 每 的 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 6643-6643 密度函数 是 每 的 subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6655-6655 速率函数 是 每 的 subrelation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45104-45104
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45103-45103
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45102-45102

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 1093-1107
No TPTP formula. May not be expressible in strict first order. Weather.kif 2923-2938
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 13723-13727 1.0 平方英里 equal 1.0 英里 是 1.0 英里 的 per
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13733-13737 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