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 is an atomic number of nickel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29236-29236	3005.0 Kelvin degree(s) is a boiling point of nickel
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 Kelvin degree(s) is a melting point of nickel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27725-27725	"Nickel" has name nickel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31478-31478	roomTempState nickel and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27724-27724	Nickel is a subclass of elemental substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27726-27726	Nickel is a conventional short name of "Ni"
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