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 7698-7699
(documentation diameter JapaneseLanguage "(diameter ?CIRCLE ?LENGTH) とは、Circle ?CIRCLEの直径が ?LENGTH の長さを有することを意味する。") japanese_format.kif 1370-1371
(domain diameter 1 Object) Merge.kif 7695-7695 The number 1 argument of diameter is an instance of object
(domain diameter 2 LengthMeasure) Merge.kif 7696-7696 The number 2 argument of diameter is an instance of length measure
(instance diameter BinaryPredicate) Merge.kif 7692-7692 diameter is an instance of binary predicate
(instance diameter SingleValuedRelation) Merge.kif 7693-7693 diameter is an instance of single valued relation
(instance diameter TotalValuedRelation) Merge.kif 7694-7694 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 620-620
(format FrenchLanguage diameter "le diam�tre de %1 est %n %2") french_format.kif 373-373
(format ItalianLanguage diameter "il diametro di %1 è %n %2") relations-it.txt 73-73
(format JapaneseLanguage diameter "%1 の diameter は %2 では %n") japanese_format.kif 2107-2107
(format PortugueseLanguage diameter "o diametro de %1 e' %n %2") portuguese_format.kif 325-325
(format de diameter "der durchmesser von %1 ist %2 %n{nicht}") relations-de.txt 809-809
(format hi diameter "%1 kaa vyaasa %2 %n hai") relations-hindi.txt 114-114
(format ro diameter "diameter%t{diametrul} lui %1 %n{nu} este %2") relations-ro.kif 395-395
(format sv diameter "diametern på %1 är %n{inte} %2") relations-sv.txt 414-414
(format tg diameter "ang bantod ng %1 %n ay %2") relations-cb.txt 107-107
(termFormat ChineseLanguage diameter "圆周") chinese_format.kif 618-618
(termFormat ChineseLanguage diameter "直径") domainEnglishFormat.kif 19428-19428
(termFormat ChineseTraditionalLanguage diameter "直徑") domainEnglishFormat.kif 19427-19427
(termFormat EnglishLanguage diameter "diameter") domainEnglishFormat.kif 19426-19426
(termFormat tg diameter "bantod") relations-tg.txt 163-163

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


(=>
    (and
        (instance ?ET AuditoryCanal)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 0.7))
Anatomy.kif 1576-1583
(=>
    (and
        (instance ?ET EustachianTube)
        (part ?ET ?H)
        (attribute ?H Healthy)
        (diameter ?ET
            (MeasureFn ?N Millimeter)))
    (approximateValue ?N 3.0))
Anatomy.kif 1526-1533
(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7701-7706
(=>
    (diameter ?CIRCLE ?LENGTH)
    (shape ?CIRCLE Circle))
Merge.kif 7708-7710

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


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI Circle))
    (diameter ?CI ?M))
Cars.kif 1541-1549
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 31189-31194
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 31196-31201
(=>
    (circumfrence ?CIRCLE ?LENGTH)
    (exists (?D ?UNIT)
        (and
            (diameter ?CIRCLE
                (MeasureFn ?D ?UNIT))
            (equal
                (MeasureFn
                    (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 31167-31175
(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C Circle)
            (diameter ?C
                (MeasureFn 4.25 Inch)))))
Sports.kif 964-973


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