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 5248-5249
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 5252-5252 The number 1 argument of diameter is an instance of circle
(instance DiameterFn TotalValuedRelation) Mid-level-ontology.kif 5251-5251 Diameter is an instance of total valued relation
(instance DiameterFn UnaryFunction) Mid-level-ontology.kif 5250-5250 Diameter is an instance of unary function
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 5253-5253 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 19432-19432
(termFormat ChineseTraditionalLanguage DiameterFn "直徑") domainEnglishFormat.kif 19431-19431
(termFormat EnglishLanguage DiameterFn "diameter") domainEnglishFormat.kif 19430-19430

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 5255-5260


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