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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Die Zahl 1 Argument von concentration ist ein fall von Quantity %n{nicht}
(domain concentration 3 Quantity) Medicine.kif 226-226 Die Zahl 3 Argument von concentration ist ein fall von Quantity %n{nicht}
(domain concentration 4 Mixture) Medicine.kif 227-227 Die Zahl 4 Argument von concentration ist ein fall von Mixture %n{nicht}
(domainSubclass concentration 2 Substance) Medicine.kif 225-225 Die Zahl 2 Argument von concentration ist eine teilkategorie von Substance %n{nicht}
(instance concentration QuaternaryPredicate) Medicine.kif 223-223 concentration ist ein fall von QuaternaryPredicate %n{nicht}

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 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