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 Il numero 1 argomenti di concentration è un istanza di Quantit�
(domain concentration 3 Quantity) Medicine.kif 226-226 Il numero 3 argomenti di concentration è un istanza di Quantit�
(domain concentration 4 Mixture) Medicine.kif 227-227 Il numero 4 argomenti di concentration è un istanza di Mistura
(domainSubclass concentration 2 Substance) Medicine.kif 225-225 Il numero 2 argomento concentration è una sottoclasse diSostanza
(instance concentration QuaternaryPredicate) Medicine.kif 223-223 concentration è un' istanza di PredicatoQuaternario

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