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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lutetium
Lutetium(lutetium)
Lu, atomic_number_71, lutecium, lutetium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28482-28482 71 is an atomic number of lutetium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29322-29322 3588.0 Kelvin degree(s) is a boiling point of lutetium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28490-28499
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 29321-29321 1929.0 Kelvin degree(s) is a melting point of lutetium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28480-28480 "Lutetium" has name lutetium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31521-31521 roomTempState lutetium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28479-28479 Lutetium 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 28481-28481 Lutetium is a conventional short name of "Lu"
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 28484-28488


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