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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DiameterFn

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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