Circumfrence - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Circumfrence EnglishLanguage "As with circumfrence, the Circumfrence of an Object is the length of the boundary of circle.")	Mid-level-ontology.kif 31131-31132
(instance Circumfrence MeasurementAttribute)	Mid-level-ontology.kif 31129-31129	Circumfrence ist ein fall von MeasurementAttribute %n{nicht}

appearance as argument number 2

(termFormat EnglishLanguage Circumfrence "Circumfrence")

Mid-level-ontology.kif 31134-31134

antecedent

(=>
    (and
        (memberMeasure ?S Circumfrence ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumfrence ?O ?Q))

Mid-level-ontology.kif 31143-31148