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

Formal Language: 



KB Term:  Term intersection
English Word: 

  concentration

 Sigma KEE - concentration
concentration

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


(documentation concentration EnglishLanguage "The concentration of a Substance in a Mixture. ") Medicine.kif 228-229
(domain concentration 1 Quantity) Medicine.kif 224-224 concentration 的 1 数量 是 数量 的 instance
(domain concentration 3 Quantity) Medicine.kif 226-226 concentration 的 3 数量 是 数量 的 instance
(domain concentration 4 Mixture) Medicine.kif 227-227 concentration 的 4 数量 是 混合物 的 instance
(domainSubclass concentration 2 Substance) Medicine.kif 225-225 concentration 的 2 数量 是 物质 的 subclass
(instance concentration QuaternaryPredicate) Medicine.kif 223-223 concentration 是 四元谓语 的 instance

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


(format EnglishLanguage concentration "the concentration of %2 in %4 is %1 per %3") Medicine.kif 231-231
(termFormat EnglishLanguage concentration "concentration") Medicine.kif 232-232

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


(=>
    (and
        (concentration
            (MeasureFn ?N1 ?U) ?S
            (MeasureFn ?N2 ?U2) ?M)
        (instance ?SI ?S)
        (part ?SI ?M)
        (measure ?SI
            (MeasureFn ?N3 ?U3))
        (part ?SI ?M)
        (not
            (instance ?SI2 ?S))
        (not
            (equal ?SI ?SIE2))
        (part ?SI2 ?M)
        (measure ?M
            (MeasureFn ?N2 ?U2)))
    (approximateValue ?N1 ?N3))		 Medicine.kif 234-249
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 4))		 Medicine.kif 5775-5782
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 14))		 Medicine.kif 5766-5773
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 5))		 Medicine.kif 5752-5759
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 20))		 Medicine.kif 5743-5750


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