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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Protactinium

 Sigma KEE - Protactinium
Protactinium(protactinium)
Pa, atomic_number_91, protactinium, protoactinium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28845-28845 91 is an atomic number of protactinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29362-29362 4300.0 Kelvin degree(s) is a boiling point of protactinium
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 Kelvin degree(s) is a melting point of protactinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28843-28843 "Protactinium" has name protactinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31541-31541 roomTempState protactinium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28842-28842 Protactinium is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28844-28844 Protactinium is a conventional short name of "Pa"
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 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