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 71 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29310-29310 3588.0 凯文度boiling
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 1929.0 凯文度melting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28468-28468 "Lutetium" 的名 是
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31517-31517 roomTempState and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28467-28467 元素物质subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28469-28469 是 "Lu" 的 conventional 简称
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