Diameter - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Diameter EnglishLanguage "As with diameter, the diameter of an Object is twice the distance between its center and point on the circle.")	Mid-level-ontology.kif 32274-32276
(instance Diameter MeasurementAttribute)	Mid-level-ontology.kif 32272-32272	Diameter is an instance of measurement attribute

appearance as argument number 2

(termFormat EnglishLanguage Diameter "Diameter")

Mid-level-ontology.kif 32278-32278

antecedent

(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))

Mid-level-ontology.kif 32287-32292