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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Yttrium

 Sigma KEE - Yttrium
Yttrium(yttrium)
Y, atomic_number_39, yttrium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27908-27908 39 is an atomic number of yttrium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29258-29258 3610.0 Kelvin degree(s) is a boiling point of yttrium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27916-27920
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2430-2430
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2068-2068
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1291-1291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29257-29257 1796.0 Kelvin degree(s) is a melting point of yttrium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27906-27906 "Yttrium" has name yttrium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31489-31489 roomTempState yttrium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27905-27905 Yttrium 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 27907-27907 Yttrium is a conventional short name of "Y"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63937-63937
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63936-63936
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63935-63935

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


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


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