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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Liter
Liter

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


(documentation Liter ChineseLanguage "公制中的体积单位。 而它现在的定义等于一立方分米(0.001立方米)。 符号:l。") chinese_format.kif 2511-2512
(documentation Liter EnglishLanguage "Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l.") Merge.kif 6757-6759
(documentation Liter JapaneseLanguage "メトリック システムの容積単位。現在、1立方デシメートル (0.001 立方メートル) に等しいと定義されている。シンボル: l。") japanese_format.kif 1210-1211
(instance Liter UnitOfVolume) Merge.kif 6755-6755 LiterUnitOfVolumeinstance では %n

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


(termFormat ChineseLanguage Liter "升") domainEnglishFormat.kif 34709-34709
(termFormat ChineseTraditionalLanguage Liter "升") domainEnglishFormat.kif 34708-34708
(termFormat EnglishLanguage Liter "liter") domainEnglishFormat.kif 34707-34707

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


(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 12))
Medicine.kif 169-184
(=>
    (and
        (attribute ?H Anemia)
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (lessThan ?N 13))
Medicine.kif 152-167
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Female)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (greaterThan ?N 12))
Medicine.kif 203-218
(=>
    (and
        (not
            (attribute ?H Anemia))
        (instance ?B Blood)
        (part ?B ?H)
        (attribute ?H Male)
        (measure ?B
            (MeasureFn 0.1 Liter))
        (instance ?HE Hemoglobin)
        (part ?HE ?B)
        (not
            (instance ?HE2 Hemoglobin))
        (not
            (equal ?HE ?HE2))
        (part ?H2 ?B)
        (measure ?HE
            (MeasureFn ?N Gram)))
    (greaterThan ?N 13))
Medicine.kif 186-201

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


(=>
    (instance ?E Espresso)
    (exists (?W ?V)
        (and
            (instance ?W Water)
            (part ?W ?E)
            (measure ?W
                (MeasureFn ?V Liter))
            (approximateValue ?V 0.03))))
Food.kif 624-632
(=>
    (instance ?EM EspressoMaking)
    (holdsDuring ?EM
        (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
            (and
                (instance ?H Heating)
                (patient ?H ?W)
                (measure ?W
                    (MeasureFn ?V Liter))
                (approximateValue ?V 0.03)
                (holdsDuring
                    (EndFn
                        (WhenFn ?H))
                    (and
                        (measure ?W
                            (MeasureFn ?T CelsiusDegree))
                        (approximateValue ?T 90)))
                (instance ?LM LiquidMotion)
                (patient ?LM ?W)
                (holdsDuring ?LM
                    (and
                        (measure ?W
                            (MeasureFn ?P
                                (KiloFn Pascal)))
                        (approximateValue ?P 900)))
                (destination ?LM ?COLL)
                (instance ?COLL Collection)
                (measure ?COLL
                    (MeasureFn ?K Gram))
                (approximateValue ?K 7.5)
                (memeber ?COLL ?CG)
                (instance ?CG CoffeeGrind)
                (attribute ?CG FineGrind)
                (location ?COLL ?F)
                (instance ?F Filter)
                (instance ?R Removing)
                (instrument ?R ?F)
                (patient ?R ?COLL)
                (temporallyBetween
                    (EndFn
                        (WhenFn ?H))
                    (EndFn
                        (WhenFn ?LM))
                    (EndFn
                        (WhenFn ?R)))))))
Food.kif 669-704
(=>
    (instance ?L Lungo)
    (exists (?E ?V)
        (and
            (instance ?E Espresso)
            (part ?E ?L)
            (measure ?E
                (MeasureFn ?V Liter))
            (instance ?V RealNumber)
            (measure ?L
                (MeasureFn
                    (MultiplicationFn ?V 2) Liter)))))
Food.kif 640-651

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


(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))
Merge.kif 7243-7245 実数UnitedKingdomGallon(s) は 実数 + 4.54609 の Liter(s) と equal では %n
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))
Merge.kif 7198-7200 実数UnitedStatesGallon(s) は 実数 + 3.785411784 の Liter(s) と equal では %n


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 3.0 is open source software produced by Articulate Software and its partners