TreeView Knowledge Base Browser - Sulphur

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sulphur

Sulphur(sulphur)

S, atomic_number_16, sulfur, sulphur

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27577-27577	16 is an atomic number of sulphur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29263-29263	717.824 Kelvin degree(s) is a boiling point of sulphur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27585-27588
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2385-2385
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2010-2010
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1259-1259
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29262-29262	386.0 Kelvin degree(s) is a melting point of sulphur
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2475-2475	The number of molecules of sulphur in a molecule of sulfuric acid is 1
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7178-7178	The number of molecules of sulphur in a molecule of sulphur dioxide is 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27575-27575	"Sulphur" has name sulphur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31498-31498	roomTempState sulphur and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27574-27574	Sulphur 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 27576-27576	Sulphur is a conventional short name of "S"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56043-56043
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56042-56042
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56041-56041

antecedent

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

Mid-level-ontology.kif 27579-27583

If a physical is an instance of sulphur and the physical is an instance of atom,
then the measure of the physical is 32.064 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