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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diameter
diameter

appearance as argument number 1
-------------------------


(documentation diameter ChineseLanguage "(diameter ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的直径的长度是 ?LENGTH。") chinese_format.kif 2653-2654
(documentation diameter EnglishLanguage "(diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH.") Merge.kif 7233-7234
(domain diameter 1 Circle) Merge.kif 7230-7230 The number 1 argument of diameter is an instance of circle
(domain diameter 2 LengthMeasure) Merge.kif 7231-7231 The number 2 argument of diameter is an instance of length measure
(instance diameter BinaryPredicate) Merge.kif 7227-7227 diameter is an instance of binary predicate
(instance diameter SingleValuedRelation) Merge.kif 7228-7228 diameter is an instance of single valued relation
(instance diameter TotalValuedRelation) Merge.kif 7229-7229 diameter is an instance of total valued relation

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


(format ChineseLanguage diameter "%1 的 diameter %n 是 %2") chinese_format.kif 617-617
(format EnglishLanguage diameter "the diameter of %1 is %n %2") english_format.kif 623-623
(termFormat ChineseLanguage diameter "圆周") chinese_format.kif 618-618
(termFormat ChineseLanguage diameter "直径") domainEnglishFormat.kif 19351-19351
(termFormat ChineseTraditionalLanguage diameter "直徑") domainEnglishFormat.kif 19350-19350
(termFormat EnglishLanguage diameter "diameter") domainEnglishFormat.kif 19349-19349

antecedent
-------------------------


(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?N__HALF ?U__HALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?N__HALF ?U__HALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?N__HALF 2) ?U__HALF) ?LENGTH))))
Merge.kif 7236-7241

consequent
-------------------------


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))
Cars.kif 1534-1540
(=>
    (instance ?HOLE GolfHole)
    (exists (?CYLINDER ?CIRCLE)
        (and
            (instance ?CYLINDER Cylinder)
            (attribute ?HOLE ?CYLINDER)
            (top ?CIRCLE ?HOLE)
            (instance ?CIRCLE Circle)
            (diameter ?CIRCLE
                (MeasureFn 4.25 Inch)))))
Sports.kif 815-823


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