Length - Sigma Knowledge base Browser

appearance as argument number 1

(instance Length MeasurementAttribute)	engineering.kif 75-75	Length is an instance of measurement attribute
(documentation Length EnglishLanguage "As with length, this is the measure of an Object along its longest span.")	engineering.kif 76-77	Length is an instance of measurement attribute
(documentation Length EnglishLanguage "PhysicalDimension of length, [m].")	engineering.kif 79-79	Length is an instance of measurement attribute
(instance Length PhysicalDimension)	engineering.kif 80-80	Length is an instance of physical dimension

appearance as argument number 2

(termFormat ChineseTraditionalLanguage Length "長度")	domainEnglishFormat.kif 33962-33962
(termFormat ChineseLanguage Length "长度")	domainEnglishFormat.kif 33963-33963
(termFormat EnglishLanguage Length "length")	engineering.kif 78-78

antecedent

(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))

If members of X have the measure Y in terms of length, X is an instance of class, and Z is an instance of X, then the length of Z is Y