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 5247-5248
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 5251-5251
(instance DiameterFn TotalValuedRelation) Mid-level-ontology.kif 5250-5250
(instance DiameterFn UnaryFunction) Mid-level-ontology.kif 5249-5249
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 5252-5252

appearance as argument number 2
-------------------------


(format EnglishLanguage DiameterFn "the diameter of %1") domainEnglishFormat.kif 193-193
(termFormat EnglishLanguage DiameterFn "diameter") domainEnglishFormat.kif 3660-3660

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 5254-5259


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