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 6964-6965
(documentation Centimeter EnglishLanguage "Submultiple of Meter. Symbol: cm. It is the 100th part of a Meter") Merge.kif 6962-6963
(externalImage Centimeter "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") pictureList.kif 5904-5904
(instance Centimeter UnitOfLength) Merge.kif 6961-6961

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 518-518
(defaultMaximumHeight GameDie
    (MeasureFn 0.36 Centimeter))
DimensioningAmenities.kif 1139-1139
(defaultMaximumHeight OutletAdapter
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 707-707
(defaultMaximumHeight Screwdriver
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 1041-1041
(defaultMaximumHeight TVRemoteControl
    (MeasureFn 4 Centimeter))
DimensioningAmenities.kif 527-527
(defaultMaximumHeight Toilet
    (MeasureFn 45 Centimeter))
DimensioningAmenities.kif 509-509
(defaultMaximumLength Bidet
    (MeasureFn 48 Centimeter))
DimensioningAmenities.kif 522-522
(defaultMaximumLength GameDie
    (MeasureFn 0.36 Centimeter))
DimensioningAmenities.kif 1143-1143
(defaultMaximumLength Hamster
    (MeasureFn 10 Centimeter))
Mid-level-ontology.kif 28307-28307
(defaultMaximumLength OutletAdapter
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 711-711
(defaultMaximumLength TVRemoteControl
    (MeasureFn 25 Centimeter))
DimensioningAmenities.kif 531-531
(defaultMaximumLength Toilet
    (MeasureFn 48 Centimeter))
DimensioningAmenities.kif 513-513
(defaultMaximumWidth Bidet
    (MeasureFn 40 Centimeter))
DimensioningAmenities.kif 520-520
(defaultMaximumWidth GameDie
    (MeasureFn 0.36 Centimeter))
DimensioningAmenities.kif 1141-1141
(defaultMaximumWidth OutletAdapter
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 709-709
(defaultMaximumWidth Screwdriver
    (MeasureFn 5 Centimeter))
DimensioningAmenities.kif 1043-1043
(defaultMaximumWidth TVRemoteControl
    (MeasureFn 20 Centimeter))
DimensioningAmenities.kif 529-529
(defaultMaximumWidth Toilet
    (MeasureFn 40 Centimeter))
DimensioningAmenities.kif 511-511
(defaultMinimumHeight Bidet
    (MeasureFn 3 Centimeter))
DimensioningAmenities.kif 517-517
(defaultMinimumHeight GameDie
    (MeasureFn 0.7 Centimeter))
DimensioningAmenities.kif 1138-1138
(defaultMinimumHeight OutletAdapter
    (MeasureFn 3 Centimeter))
DimensioningAmenities.kif 706-706
(defaultMinimumHeight Screwdriver
    (MeasureFn 1 Centimeter))
DimensioningAmenities.kif 1040-1040
(defaultMinimumHeight TVRemoteControl
    (MeasureFn 2 Centimeter))
DimensioningAmenities.kif 526-526
(defaultMinimumHeight Toilet
    (MeasureFn 40 Centimeter))
DimensioningAmenities.kif 508-508
(defaultMinimumLength Bidet
    (MeasureFn 41 Centimeter))
DimensioningAmenities.kif 521-521

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