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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nickel

Sigma KEE - Nickel
Nickel

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27715-27715 atomicNumber Nickel and 28
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29224-29224 boilingPoint Nickel and 3005.0 KelvinDegree(s)
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 meltingPoint Nickel and 1726.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27713-27713 "Nickel" se chama nome 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 e' uma sub-classe de Substancia Elementar

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27714-27714 conventionalShortName "Ni" and Nickel
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


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