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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Protactinium
Protactinium(镤)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28845-28845 91 是 镤 的 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29362-29362 4300.0 凯文度 是 镤 的 boiling 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28853-28857
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1939-1939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29361-29361 1827.0 凯文度 是 镤 的 melting 点
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28843-28843 "Protactinium" 的名 是 镤
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31541-31541 roomTempState 镤 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28842-28842 镤 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28844-28844 镤 是 "Pa" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47828-47828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47827-47827
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47826-47826

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


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


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