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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 27959-27959 39 is an atomic number of yttrium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29309-29309 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 27967-27971
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 29308-29308 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 27957-27957 "Yttrium" has name yttrium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31521-31521 roomTempState yttrium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27956-27956 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 27958-27958 Yttrium is a conventional short name of "Y"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63939-63939
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63938-63938
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63937-63937

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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