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 4917-4918
(domain DiameterFn 1 Circle)	Mid-level-ontology.kif 4921-4921	The number 1 argument of diameter is an instance of circle
(instance DiameterFn TotalValuedRelation)	Mid-level-ontology.kif 4920-4920	Diameter is an instance of total valued relation
(instance DiameterFn UnaryFunction)	Mid-level-ontology.kif 4919-4919	Diameter is an instance of unary function
(range DiameterFn LengthMeasure)	Mid-level-ontology.kif 4922-4922	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 19434-19434
(termFormat ChineseTraditionalLanguage DiameterFn "直徑")	domainEnglishFormat.kif 19433-19433
(termFormat EnglishLanguage DiameterFn "diameter")	domainEnglishFormat.kif 19432-19432

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 4924-4929

If the diameter of a circle is equal to a real number an unit of measure(s),
then there exists another real number such that the radius of the circle is equal to the other real number the unit of measure(s) and the other real number and 2.0 is equal to the real number

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: