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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Promethium
Promethium(钷)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28299-28299 61 是 钷 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29302-29302 3000.0 凯文度 是 钷 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28307-28314
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1936-1936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29301-29301 1353.0 凯文度 是 钷 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28297-28297 "Promethium" 的名 是 钷
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31511-31511 roomTempState 钷 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28296-28296 钷 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28298-28298 钷 是 "Pm" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47702-47702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47701-47701
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47700-47700

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


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


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