TreeView Knowledge Base Browser - Technetium

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Technetium

Technetium(technetium)

Tc, atomic_number_43, technetium

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27981-27981	43 is an atomic number of technetium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29266-29266	5303.0 Kelvin degree(s) is a boiling point of technetium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27989-27995
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2392-2392
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2019-2019
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1263-1263
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29265-29265	2445.0 Kelvin degree(s) is a melting point of technetium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27979-27979	"Technetium" has name technetium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31493-31493	roomTempState technetium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27978-27978	Technetium 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 27980-27980	Technetium is a conventional short name of "Tc"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57193-57193
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57192-57192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57191-57191

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 27983-27987

If a physical is an instance of technetium and the physical is an instance of atom,
then the measure of the physical is 98 amu(s)

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