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 28833-28833 atomicNumber Protactinium and 91
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29350-29350 boilingPoint Protactinium and 4300.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28841-28845
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 29349-29349 meltingPoint Protactinium and 1827.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28831-28831 "Protactinium" s'appele nom Protactinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31537-31537 roomTempState Protactinium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28830-28830 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 28832-28832 conventionalShortName "Pa" and Protactinium
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 28835-28839


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