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 5242-5243
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 5246-5246 The number 1 argument of diameter is an instance of circle
(instance DiameterFn TotalValuedRelation) Mid-level-ontology.kif 5245-5245 Diameter is an instance of total valued relation
(instance DiameterFn UnaryFunction) Mid-level-ontology.kif 5244-5244 Diameter is an instance of unary function
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 5247-5247 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 19363-19363 "直径" is the printable form of diameter in ChineseLanguage
(termFormat ChineseTraditionalLanguage DiameterFn "直徑") domainEnglishFormat.kif 19362-19362 "直徑" is the printable form of diameter in ChineseTraditionalLanguage
(termFormat EnglishLanguage DiameterFn "diameter") domainEnglishFormat.kif 19361-19361 "diameter" is the printable form of diameter in english language

antecedent
-------------------------


(=>
    (equal
        (DiameterFn ?C)
        (MeasureFn ?L ?U))
    (exists (?R)
        (and
            (equal
                (RadiusFn ?C)
                (MeasureFn ?R ?U))
            (equal
                (MultiplicationFn ?R 2) ?L))))
Mid-level-ontology.kif 5249-5254


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners