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
(instance DiameterFn TotalValuedRelation)	Mid-level-ontology.kif 4920-4920
(instance DiameterFn UnaryFunction)	Mid-level-ontology.kif 4919-4919
(range DiameterFn LengthMeasure)	Mid-level-ontology.kif 4922-4922

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

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

KB Term:			Term intersection

English Word: