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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Yttrium
Yttrium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27896-27896 atomicNumber Yttrium and 39
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29246-29246 boilingPoint Yttrium and 3610.0 KelvinDegree(s)
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 meltingPoint Yttrium and 1796.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27894-27894 "Yttrium" se chama nome 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 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 27895-27895 conventionalShortName "Y" and Yttrium
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 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