DiameterFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DiameterFn EnglishLanguage "(DiameterFn ?CIRCLE) denotes the length of the diameter of the Circle ?CIRCLE.")	Mid-level-ontology.kif 5710-5711
(instance DiameterFn UnaryFunction)	Mid-level-ontology.kif 5712-5712	Diameter is an instance of unary function
(instance DiameterFn TotalValuedRelation)	Mid-level-ontology.kif 5713-5713	Diameter is an instance of total valued relation
(domain DiameterFn 1 Circle)	Mid-level-ontology.kif 5714-5714	The number 1 argument of diameter is an instance of circle
(range DiameterFn LengthMeasure)	Mid-level-ontology.kif 5715-5715	The range of diameter is an instance of length measure

appearance as argument number 2

(format EnglishLanguage DiameterFn "the diameter of %1")	domainEnglishFormat.kif 734-734
(format ChineseTraditionalLanguage DiameterFn "%1 的 diameter ")	domainEnglishFormat.kif 735-735
(format ChineseLanguage DiameterFn "%1 的 diameter ")	domainEnglishFormat.kif 736-736
(termFormat EnglishLanguage DiameterFn "diameter")	domainEnglishFormat.kif 19434-19434
(termFormat ChineseTraditionalLanguage DiameterFn "直徑")	domainEnglishFormat.kif 19435-19435
(termFormat ChineseLanguage DiameterFn "直径")	domainEnglishFormat.kif 19436-19436

antecedent

(=> (equal (DiameterFn ?C) (MeasureFn ?L ?U)) (exists (?R) (and (equal (RadiusFn ?C) (MeasureFn ?R ?U)) (equal (MultiplicationFn ?R 2.0) ?L))))	Mid-level-ontology.kif 5717-5722	If equal the diameter of X and Y Z(s), then there exists W such that equal the radius of X and W Z(s) and equal W and 2.0 and Y
(=> (equal ?L (DiameterFn ?C)) (equal ?C Circle))	Mid-level-ontology.kif 5724-5727	If equal X and the diameter of Y, then equal Y and circle

consequent

(=>
    (equal ?D DiameterLine)
    (exists (?C)
        (and
            (equal ?C Circle)
            (lineMeasure ?D
                (DiameterFn ?C)))))

If equal X and diameter line, then there exists Y such that equal Y, circle, and the diameter of Y is a line measure of X