TreeView Knowledge Base Browser - Copper

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Copper

Copper

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27741-27741	atomicNumber Copper and 29
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29238-29238	boilingPoint Copper and 2868.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27749-27752
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 366-366
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1719-1719
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2144-2144
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29237-29237	meltingPoint Copper and 1356.6 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27739-27739	"Copper" se chama nome Copper
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31479-31479	roomTempState Copper and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27738-27738	Copper 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 27740-27740	conventionalShortName "Cu" and Copper
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17232-17232
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17231-17231
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17230-17230

antecedent

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

Mid-level-ontology.kif 27743-27747

Fisico e' uma instancia de Copper Fisico e' uma instancia de Atomo
a medida de Fisico e' 63.54 Amu(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8941-8948	Objeto e' uma instancia de Brass Objeto Objeto Objeto e' uma instancia de Copper Objeto e' uma instancia de Zinc Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5647-5652	Objeto Corpuscular e' uma instancia de CopperOre Objeto Corpuscular Objeto Corpuscular e' uma instancia de Copper Objeto Corpuscular e' um componente de Objeto Corpuscular

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