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 27896-27896 39 is an atomic number of yttrium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29246-29246 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 27904-27908
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 29245-29245 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 27894-27894 "Yttrium" has name yttrium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31485-31485 roomTempState yttrium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27893-27893 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 27895-27895 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 27898-27902


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