Fathom - Sigma Knowledge base Browser

appearance as argument number 1

(instance Fathom UnitOfLength)	Geography.kif 5375-5375	Fathom is an instance of unit of length
(documentation Fathom EnglishLanguage "Fathom is a UnitOfMeasure used for measuring water depth. One fathom is equal to six feet.")	Geography.kif 5385-5386	Fathom is an instance of unit of length
(externalImage Fathom "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Vitruvian_Man_Measurements.png")	pictureList.kif 6002-6002	Fathom is an instance of unit of length

appearance as argument number 2

(names "fathom" Fathom)	Geography.kif 5373-5373	Fathom has name "fathom"
(termFormat EnglishLanguage Fathom "fathom")	domainEnglishFormat.kif 23398-23398	Fathom has name "fathom"
(termFormat ChineseTraditionalLanguage Fathom "推測")	domainEnglishFormat.kif 23399-23399	Fathom has name "fathom"
(termFormat ChineseLanguage Fathom "推测")	domainEnglishFormat.kif 23400-23400	Fathom has name "fathom"

consequent

(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6.0) FootLength)))

If equal X, 1.0, and X, then equal X fathom(s) and X and 6.0 foot length(s)

statement

(equal
(MeasureFn 1.0 Fathom)
(MeasureFn 6.0 FootLength))