Chlorine - Sigma Knowledge base Browser

appearance as argument number 1

(atomicNumber Chlorine 17)	Mid-level-ontology.kif 26582-26582	17 is an atomic number of chlorine
(boilingPoint Chlorine (MeasureFn 238.55 KelvinDegree))	Mid-level-ontology.kif 28254-28254	238.55 Kelvin degree(s) is a boiling point of chlorine
(documentation Chlorine 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 26590-26594
(externalImage Chlorine "http://upload.wikimedia.org/wikipedia/commons/2/ 2a/ Cl-TableImage.png")	pictureList.kif 1699-1699
(externalImage Chlorine "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Chlorine-sample.jpg")	pictureList.kif 2138-2138
(externalImage Chlorine "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f6/ Chlorine-sample.jpg/ 125px-Chlorine-sample.jpg")	pictureList.kif 1074-1074
(meltingPoint Chlorine (MeasureFn 172.17 KelvinDegree))	Mid-level-ontology.kif 28253-28253	172.17 Kelvin degree(s) is a melting point of chlorine
(molecularRatio Chlorine 2 Freon12)	Cars.kif 1805-1805	The number of molecules of chlorine in a molecule of freon-12 is 2
(names Chlorine "Chlorine")	Mid-level-ontology.kif 26580-26580	"Chlorine" has name chlorine
(subclass Chlorine ElementalSubstance)	Mid-level-ontology.kif 26579-26579	Chlorine is a subclass of elemental substance

appearance as argument number 2

(conventionalShortName "Cl" Chlorine)	Mid-level-ontology.kif 26581-26581	Chlorine is a conventional short name of "Cl"
(termFormat ChineseLanguage Chlorine "氯")	domainEnglishFormat.kif 14619-14619
(termFormat ChineseTraditionalLanguage Chlorine "氯")	domainEnglishFormat.kif 14618-14618
(termFormat EnglishLanguage Chlorine "chlorine")	domainEnglishFormat.kif 14617-14617

antecedent

(=>
    (and
        (instance ?ATOM Chlorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 35.453 Amu)))

Mid-level-ontology.kif 26584-26588

consequent

(=> (instance ?C CSGas) (exists (?CHLOR ?N) (and (instance ?CHLOR Chlorine) (part ?CHLOR ?C) (instance ?N Nitrogen) (part ?N ?C))))	MilitaryDevices.kif 1334-1341	If an object is an instance of CS gas, then there exist the objectHLOR and a third object such that the objectHLOR is an instance of chlorine and the objectHLOR is a part of the object and the third object is an instance of nitrogen and the third object is a part of the object
(=> (instance ?SALT SodiumChloride) (exists (?SYNTHESIS ?SODIUM ?CHLORINE) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?SODIUM) (instance ?SODIUM Sodium) (resource ?SYNTHESIS ?CHLORINE) (instance ?CHLORINE Chlorine) (result ?SYNTHESIS ?SALT))))	Mid-level-ontology.kif 8333-8342	If an entity is an instance of salt, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of sodium and the other object is a resource for the process and the other object is an instance of chlorine and the entity is a result of the process