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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Chlorine
Chlorine(chlorine)
Cl, atomic_number_17, chlorine, radiochlorine

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


s__atomicNumber(s__Chlorine,17)

Mid-level-ontology.kif 25709-25709 17 is an atomic number of chlorine
s__boilingPoint(s__Chlorine,s__MeasureFn(238.55,s__KelvinDegree))

Mid-level-ontology.kif 27287-27287 238.55 Kelvin degree(s) is a boiling point of chlorine
s__documentation(s__Chlorine,s__EnglishLanguage,'Halogen element. Poisonous greenish-yellow gas. Occurs widely in nature as sodium chloride in seawater. Reacts directly with many elements and compounds, strong oxidizing agent. Discovered by Karl Scheele in 1774. Humphrey David confirmed it as an element in 1810.')

Mid-level-ontology.kif 25716-25720
s__externalImage(s__Chlorine,'http://upload.wikimedia.org/wikipedia/commons/2/2a/Cl-TableImage.png')

pictureList.kif 1699-1699 "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Cl-TableImage.png" is a URL depicting chlorine
s__externalImage(s__Chlorine,'http://upload.wikimedia.org/wikipedia/commons/f/f6/Chlorine-sample.jpg')

pictureList.kif 2138-2138 "http://upload.wikimedia.org/wikipedia/commons/f/f6/ Chlorine-sample.jpg" is a URL depicting chlorine
s__externalImage(s__Chlorine,'http://upload.wikimedia.org/wikipedia/commons/thumb/f/f6/Chlorine-sample.jpg/125px-Chlorine-sample.jpg')

pictureList.kif 1074-1074 "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f6/ Chlorine-sample.jpg/ 125px-Chlorine-sample.jpg" is a URL depicting chlorine
s__meltingPoint(s__Chlorine,s__MeasureFn(172.17,s__KelvinDegree))

Mid-level-ontology.kif 27286-27286 172.17 Kelvin degree(s) is a melting point of chlorine
s__molecularRatio(s__Chlorine,2,s__Freon12)

Cars.kif 1800-1800 The number of molecules of chlorine in a molecule of freon-12 is 2
s__names(s__Chlorine,'Chlorine')

Mid-level-ontology.kif 25707-25707 "Chlorine" has name chlorine
s__subclass(s__Chlorine,s__ElementalSubstance)

Mid-level-ontology.kif 25706-25706 Chlorine is a subclass of elemental substance

appearance as argument number 2
-------------------------


s__conventionalShortName('Cl',s__Chlorine)

Mid-level-ontology.kif 25708-25708 Chlorine is a conventional short name of "Cl"
s__termFormat(s__EnglishLanguage,s__Chlorine,'chlorine')

domainEnglishFormat.kif 2859-2859 "chlorine" is the printable form of chlorine in english language

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


( ! [V__ATOM] :
   ((s__instance(V__ATOM,s__Chlorine) &
       s__instance(V__ATOM,s__Atom))
     =>
     s__measure(V__ATOM,s__MeasureFn(35.453,s__Amu)))
)

Mid-level-ontology.kif 25710-25714

consequent
-------------------------


( ! [V__C] :
   (s__instance(V__C,s__CSGas) =>
     (? [V__CHLOR,V__N] :
       (s__instance(V__CHLOR,s__Chlorine) &
         s__part(V__CHLOR,V__C)
       &
       s__instance(V__N,s__Nitrogen) &
       s__part(V__N,V__C))))
)

MilitaryDevices.kif 1333-1340
( ! [V__SALT] :
   (s__instance(V__SALT,s__SodiumChloride) =>
     (? [V__SYNTHESIS,V__SODIUM,V__CHLORINE] :
       (s__instance(V__SYNTHESIS,s__ChemicalSynthesis) &
         s__resource(V__SYNTHESIS,V__SODIUM)
       &
       s__instance(V__SODIUM,s__Sodium) &
       s__resource(V__SYNTHESIS,V__CHLORINE)
     &
     s__instance(V__CHLORINE,s__Chlorine) &
     s__result(V__SYNTHESIS,V__SALT))))
)

Mid-level-ontology.kif 8430-8439


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners