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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 atomicNumber Protactinium and 91
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29413-29413 boilingPoint Protactinium and 4300.0 KelvinDegree(s)
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 meltingPoint Protactinium and 1827.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28894-28894 "Protactinium" s'appele nom Protactinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31573-31573 roomTempState Protactinium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28893-28893 Protactinium est une sous-classe de substance �l�mentaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28895-28895 conventionalShortName "Pa" and Protactinium
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