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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Erbium

 Sigma KEE - Erbium
Erbium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28422-28422 atomicNumber Erbium and 68
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29304-29304 boilingPoint Erbium and 2783.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28430-28434
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2163-2163
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1750-1750
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1102-1102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29303-29303 meltingPoint Erbium and 1795.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28420-28420 "Erbium" se chama nome Erbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31514-31514 roomTempState Erbium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28419-28419 Erbium 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 28421-28421 conventionalShortName "Er" and Erbium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22378-22378
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22377-22377
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22376-22376

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28424-28428


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