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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Entity

 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


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