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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Promethium
Promethium(promethium)
Pm, atomic_number_61, promethium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28299-28299 61 is an atomic number of promethium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29302-29302 3000.0 Kelvin degree(s) is a boiling point of promethium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28307-28314
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1936-1936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29301-29301 1353.0 Kelvin degree(s) is a melting point of promethium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28297-28297 "Promethium" has name promethium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31511-31511 roomTempState promethium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28296-28296 Promethium 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 28298-28298 Promethium is a conventional short name of "Pm"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47702-47702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47701-47701
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47700-47700

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


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


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