Nickel - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27727-27727	28 是镍的 atomic 数字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29236-29236	3005.0 凯文度是镍的 boiling 点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27735-27736
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2266-2266
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1866-1866
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1197-1197
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29235-29235	1726.0 凯文度是镍的 melting 点
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27725-27725	"Nickel" 的名是镍
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31478-31478	roomTempState 镍 and 固体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27724-27724	镍是元素物质的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27726-27726	镍是 "Ni" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40485-40485
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40484-40484
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40483-40483

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 27729-27733

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 5657-5662