Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiameterFn
DiameterFn

appearance as argument number 1
-------------------------


(documentation DiameterFn EnglishLanguage "(DiameterFn ?CIRCLE) denotes the length of the diameter of the Circle ?CIRCLE.") Mid-level-ontology.kif 4905-4906
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 4909-4909 domain DiameterFn, 1 and Circle
(instance DiameterFn TotalValuedRelation) Mid-level-ontology.kif 4908-4908 instance DiameterFn and TotalValuedRelation
(instance DiameterFn UnaryFunction) Mid-level-ontology.kif 4907-4907 instance DiameterFn and UnaryFunction
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 4910-4910 range DiameterFn and LengthMeasure

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 19420-19420
(termFormat ChineseTraditionalLanguage DiameterFn "直徑") domainEnglishFormat.kif 19419-19419
(termFormat EnglishLanguage DiameterFn "diameter") domainEnglishFormat.kif 19418-19418

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 4912-4917


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners