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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 28896-28896 91 is an atomic number of protactinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29413-29413 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 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 Kelvin degree(s) is a melting point of protactinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28894-28894 "Protactinium" has name 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 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 28895-28895 Protactinium is a conventional short name of "Pa"
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 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