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 O argumento numero 1 de concentration e' uma instancia de Quantidade
(domain concentration 3 Quantity) Medicine.kif 226-226 O argumento numero 3 de concentration e' uma instancia de Quantidade
(domain concentration 4 Mixture) Medicine.kif 227-227 O argumento numero 4 de concentration e' uma instancia de Mistura
(domainSubclass concentration 2 Substance) Medicine.kif 225-225 O argumento numero 2 de concentration e' uma sub-classe de Substancia
(instance concentration QuaternaryPredicate) Medicine.kif 223-223 concentration e' uma instancia de Predicado Quaternario

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