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,n__17)

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

Mid-level-ontology.kif 27372-27372 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 25801-25805
s__externalImage(s__Chlorine,'"http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Cl-TableImage.png"')

pictureList.kif 1699-1699
s__externalImage(s__Chlorine,'"http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Chlorine-sample.jpg"')

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

pictureList.kif 1074-1074
s__meltingPoint(s__Chlorine,s__MeasureFn(n__172_17,s__KelvinDegree))

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

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

Mid-level-ontology.kif 25792-25792 "Chlorine" has name chlorine
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Chlorine,s__SetOrClass)

s__subclass(s__Chlorine,s__ElementalSubstance)

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

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


s__conventionalShortName('"Cl"',s__Chlorine)

Mid-level-ontology.kif 25793-25793 Chlorine is a conventional short name of "Cl"
s__termFormat(s__ChineseLanguage,s__Chlorine,'"氯"')

domainEnglishFormat.kif 14551-14551
s__termFormat(s__ChineseTraditionalLanguage,s__Chlorine,'"氯"')

domainEnglishFormat.kif 14550-14550
s__termFormat(s__EnglishLanguage,s__Chlorine,'"chlorine"')

domainEnglishFormat.kif 14549-14549

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


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

Mid-level-ontology.kif 25795-25799

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 1334-1341
( ! [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 8433-8442


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