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 4917-4918
(domain DiameterFn 1 Circle) Mid-level-ontology.kif 4921-4921 DiameterFn の数値 1 引数は Circleinstance では %n
(instance DiameterFn TotalValuedRelation) Mid-level-ontology.kif 4920-4920 DiameterFn合計値関係instance では %n
(instance DiameterFn UnaryFunction) Mid-level-ontology.kif 4919-4919 DiameterFn1変数関数instance では %n
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 4922-4922 DiameterFnrange長さ測定 のインスタンス では %n

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 19434-19434
(termFormat ChineseTraditionalLanguage DiameterFn "直徑") domainEnglishFormat.kif 19433-19433
(termFormat EnglishLanguage DiameterFn "diameter") domainEnglishFormat.kif 19432-19432

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 4924-4929


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