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 27715-27715	28 is an atomic number of nickel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29224-29224	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 27723-27724
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 29223-29223	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 27713-27713	"Nickel" has name nickel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31474-31474	roomTempState nickel and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27712-27712	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 27714-27714	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 27717-27721

consequent

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

Economy.kif 5657-5662