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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Centimeter

Sigma KEE - Centimeter
Centimeter
سنْتِمِتْر,

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


(documentation Centimeter ChineseLanguage "这是 Meter 的约数,符号:cm。它是100分之一 Meter。") Merge.kif 6993-6994
(documentation Centimeter EnglishLanguage "Submultiple of Meter. Symbol: cm. It is the 100th part of a Meter") Merge.kif 6991-6992
(externalImage Centimeter "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") pictureList.kif 5904-5904
(instance Centimeter UnitOfLength) Merge.kif 6990-6990

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


(termFormat EnglishLanguage Centimeter "centimeter") domainEnglishFormat.kif 2717-2717

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


(=>
    (instance ?SNOWSTORM Snowstorm)
    (holdsDuring
        (WhenFn ?SNOWSTORM)
        (exists (?SNOW ?AREA ?NUM)
            (and
                (instance ?SNOW Snowing)
                (instance ?AREA GeographicArea)
                (eventLocated ?SNOW ?AREA)
                (subProcess ?SNOW ?SNOWSTORM)
                (snowfallIntensity ?AREA
                    (WhenFn ?SNOW)
                    (PerFn
                        (MeasureFn ?NUM Centimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 5)))))
Weather.kif 1375-1390
(=>
    (instance ?STUFF Hailstone)
    (and
        (defaultMinimumSphereRadius ?STUFF
            (MeasureFn 0.5 Centimeter))
        (defaultMaximumSphereRadius ?STUFF
            (MeasureFn 15 Centimeter))))
Weather.kif 1550-1554

statement
-------------------------


(defaultMaximumHeight Bidet
    (MeasureFn 40 Centimeter))
DimensioningAmenities.kif 271-271
(defaultMaximumHeight GameDie
    (MeasureFn 0.36 Centimeter))
DimensioningAmenities.kif 892-892
(defaultMaximumHeight OutletAdapter
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 460-460
(defaultMaximumHeight Screwdriver
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 794-794
(defaultMaximumHeight TVRemoteControl
    (MeasureFn 4 Centimeter))
DimensioningAmenities.kif 280-280
(defaultMaximumHeight Toilet
    (MeasureFn 45 Centimeter))
DimensioningAmenities.kif 262-262
(defaultMaximumLength Bidet
    (MeasureFn 48 Centimeter))
DimensioningAmenities.kif 275-275
(defaultMaximumLength GameDie
    (MeasureFn 0.36 Centimeter))
DimensioningAmenities.kif 896-896
(defaultMaximumLength Hamster
    (MeasureFn 10 Centimeter))
Mid-level-ontology.kif 28668-28668
(defaultMaximumLength OutletAdapter
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 464-464
(defaultMaximumLength TVRemoteControl
    (MeasureFn 25 Centimeter))
DimensioningAmenities.kif 284-284
(defaultMaximumLength Toilet
    (MeasureFn 48 Centimeter))
DimensioningAmenities.kif 266-266
(defaultMaximumWidth Bidet
    (MeasureFn 40 Centimeter))
DimensioningAmenities.kif 273-273
(defaultMaximumWidth GameDie
    (MeasureFn 0.36 Centimeter))
DimensioningAmenities.kif 894-894
(defaultMaximumWidth OutletAdapter
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 462-462
(defaultMaximumWidth Screwdriver
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 796-796
(defaultMaximumWidth TVRemoteControl
    (MeasureFn 20 Centimeter))
DimensioningAmenities.kif 282-282
(defaultMaximumWidth Toilet
    (MeasureFn 40 Centimeter))
DimensioningAmenities.kif 264-264
(defaultMinimumHeight Bidet
    (MeasureFn 3 Centimeter))
DimensioningAmenities.kif 270-270
(defaultMinimumHeight GameDie
    (MeasureFn 0.7 Centimeter))
DimensioningAmenities.kif 891-891
(defaultMinimumHeight OutletAdapter
    (MeasureFn 3 Centimeter))
DimensioningAmenities.kif 459-459
(defaultMinimumHeight Screwdriver
    (MeasureFn 1 Centimeter))
DimensioningAmenities.kif 793-793
(defaultMinimumHeight TVRemoteControl
    (MeasureFn 2 Centimeter))
DimensioningAmenities.kif 279-279
(defaultMinimumHeight Toilet
    (MeasureFn 40 Centimeter))
DimensioningAmenities.kif 261-261
(defaultMinimumLength Bidet
    (MeasureFn 41 Centimeter))
DimensioningAmenities.kif 274-274

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners