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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ytterbium

 Sigma KEE - Ytterbium
Ytterbium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28518-28518 atomicNumber Ytterbium and 70
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29371-29371 boilingPoint Ytterbium and 1466.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28526-28528
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2067-2067
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2429-2429
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1290-1290
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29370-29370 meltingPoint Ytterbium and 1097.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28516-28516 "Ytterbium" s'appele nom Ytterbium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31552-31552 roomTempState Ytterbium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28515-28515 Ytterbium est une sous-classe de substance �l�mentaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28517-28517 conventionalShortName "Yb" and Ytterbium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63933-63933
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63932-63932
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63931-63931

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


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


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