TreeView 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 5557-5558
(domain DiameterFn 1 Circle)	Mid-level-ontology.kif 5561-5561	The number 1 argument of diameter is an instance of circle
(instance DiameterFn TotalValuedRelation)	Mid-level-ontology.kif 5560-5560	Diameter is an instance of total valued relation
(instance DiameterFn UnaryFunction)	Mid-level-ontology.kif 5559-5559	Diameter is an instance of unary function
(range DiameterFn LengthMeasure)	Mid-level-ontology.kif 5562-5562	The range of diameter is an instance of length measure

appearance as argument number 2

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

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 5564-5569	If equal the diameter of a circle and an integer an unit of measure(s), then there exists a real number such that equal the radius of the circle and the real number the unit of measure(s) and equal the real number and 2.0 and the integer
(=> (equal ?L (DiameterFn ?C)) (equal ?C Circle))	Mid-level-ontology.kif 5571-5574	If equal a length measure and the diameter of a circle, then equal the circle and circle

consequent

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

Mid-level-ontology.kif 5848-5854