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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonferrousMetalExceptCopperAndAluminumRollingDrawingAndExtruding
  Protactinium

 Sigma KEE - Protactinium
Protactinium(镤)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28896-28896 91 是 镤 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29413-29413 測量 4300.0 and 凱文度 是 镤 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28904-28908
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 29412-29412 測量 1827.0 and 凱文度 是 镤 的 melting 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28894-28894 名 镤 and "Protactinium"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31573-31573 roomTempState 镤 and 固體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28893-28893 子類 镤 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28895-28895 镤 是 "Pa" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47830-47830
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47829-47829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47828-47828

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


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


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