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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lutetium

 Sigma KEE - Lutetium
Lutetium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28470-28470 atomicNumber Lutetium and 71
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29310-29310 boilingPoint Lutetium and 3588.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28478-28487
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1838-1838
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2249-2249
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1161-1161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29309-29309 meltingPoint Lutetium and 1929.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28468-28468 "Lutetium" se chama nome Lutetium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31517-31517 roomTempState Lutetium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28467-28467 Lutetium 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 28469-28469 conventionalShortName "Lu" and Lutetium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35333-35333
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35332-35332
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35331-35331

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


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


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