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 4934-4935
(domain DiameterFn 1 Object) Mid-level-ontology.kif 4938-4938 Die Zahl 1 Argument von DiameterFn ist ein fall von Object %n{nicht}
(instance DiameterFn TotalValuedRelation) Mid-level-ontology.kif 4937-4937 DiameterFn ist ein fall von TotalValuedRelation %n{nicht}
(instance DiameterFn UnaryFunction) Mid-level-ontology.kif 4936-4936 DiameterFn ist ein fall von UnaryFunction %n{nicht}
(range DiameterFn LengthMeasure) Mid-level-ontology.kif 4939-4939 bildbereich von DiameterFn ist ein fall von LengthMeasure {nicht}

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 4941-4946
(=>
    (equal ?L
        (DiameterFn ?C))
    (shape ?C Circle))		 Mid-level-ontology.kif 4948-4951


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 3.0 is open source software produced by Articulate Software and its partners