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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diameter

 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 7570-7571
(domain diameter 1 Circle) Merge.kif 7567-7567
(domain diameter 2 LengthMeasure) Merge.kif 7568-7568
(instance diameter BinaryPredicate) Merge.kif 7564-7564
(instance diameter SingleValuedRelation) Merge.kif 7565-7565
(instance diameter TotalValuedRelation) Merge.kif 7566-7566

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 620-620
(termFormat ChineseLanguage diameter "圆周") chinese_format.kif 618-618
(termFormat ChineseLanguage diameter "直径") domainEnglishFormat.kif 19419-19419
(termFormat ChineseTraditionalLanguage diameter "直徑") domainEnglishFormat.kif 19418-19418
(termFormat EnglishLanguage diameter "diameter") domainEnglishFormat.kif 19417-19417

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


(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))		 Merge.kif 7573-7578

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


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))		 Cars.kif 1538-1544
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (diameter ?O ?Q))		 Mid-level-ontology.kif 30533-30538
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))		 Mid-level-ontology.kif 30540-30545
(=>
    (circumfrence ?CIRCLE ?LENGTH)
    (exists (?D ?UNIT)
        (and
            (diameter ?CIRCLE
                (MeasureFn ?D ?UNIT))
            (equal
                (MeasureFn
                    (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH))))		 Mid-level-ontology.kif 30514-30522
(=>
    (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 891-899


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