TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Arsenic ElementalSubstance)	Mid-level-ontology.kif 30430-30430	Arsenic is a subclass of elemental substance
(atomicNumber Arsenic 33)	Mid-level-ontology.kif 30433-30433	33 is an atomic number of arsenic
(documentation Arsenic EnglishLanguage "Metalloid element of group 15. There are three allotropes, yellow, black, and grey. Reacts with halogens, concentrated oxidizing acids and hot alkalis. Albertus Magnus is believed to have been the first to isolate the element in 1250.")	Mid-level-ontology.kif 30441-30444	33 is an atomic number of arsenic
(meltingPoint Arsenic (MeasureFn 886.0 KelvinDegree))	Mid-level-ontology.kif 31871-31871	886.0 Kelvin degree(s) is a melting point of arsenic
(boilingPoint Arsenic (MeasureFn 886.0 KelvinDegree))	Mid-level-ontology.kif 31872-31872	886.0 Kelvin degree(s) is a boiling point of arsenic
(roomTempState Arsenic Solid)	Mid-level-ontology.kif 33955-33955	room temperature state arsenic and solid
(externalImage Arsenic "http://articulatesoftware.com/SUMOpictures/rocks_minerals/ Ar_Az/ Arsenic.png")	pictureList.kif 237-237	room temperature state arsenic and solid
(externalImage Arsenic "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ As_TableImage.png")	pictureList.kif 1644-1644	room temperature state arsenic and solid
(externalImage Arsenic "http://upload.wikimedia.org/wikipedia/commons/3/ 34/ As%2C33.jpg")	pictureList.kif 2106-2106	room temperature state arsenic and solid

appearance as argument number 2

(names "Arsenic" Arsenic)	Mid-level-ontology.kif 30431-30431	Arsenic has name "Arsenic"
(conventionalShortName "As" Arsenic)	Mid-level-ontology.kif 30432-30432	Arsenic is a conventional short name of "As"
(termFormat EnglishLanguage Arsenic "arsenic")	domainEnglishFormat.kif 8476-8476	Arsenic is a conventional short name of "As"
(termFormat ChineseTraditionalLanguage Arsenic "砷")	domainEnglishFormat.kif 8477-8477	Arsenic is a conventional short name of "As"
(termFormat ChineseLanguage Arsenic "砷")	domainEnglishFormat.kif 8478-8478	Arsenic is a conventional short name of "As"

antecedent

(=>
    (and
        (instance ?ATOM Arsenic)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 74.922 Amu)))

If X is an instance of arsenic and X is an instance of atom, then the measure of X is 74.922 amu(s)