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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Urination

Sigma KEE - Urination
Urination(urination)make, make_water, micturate, pass_water, pee, pee-pee, piddle, piss, puddle, relieve_oneself, spend_a_penny, take_a_leak, urinate, wee, wee-wee

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


(documentation Urination EnglishLanguage "Urination is a type of Excreting that discharges Urine") Mid-level-ontology.kif 2085-2086
(subclass Urination Excreting) Mid-level-ontology.kif 2084-2084 Urination is a subclass of excreting

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


(termFormat EnglishLanguage Urination "urination") Mid-level-ontology.kif 2087-2087

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


(=>
    (and
        (instance ?D Antidiuretic)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?D)
        (instance ?U1 Urination)
        (result ?U1 ?P1)
        (agent ?U1 ?H)
        (instance ?U2 Urination)
        (not
            (equal ?U1 ?U2))
        (result ?U2 ?P2)
        (agent ?U2 ?H)
        (earlier ?U1 ?I)
        (earlier ?I ?U2)
        (instance ?V VolumeMeasure)
        (measure ?U1
            (MeasureFn ?N1 ?V))
        (measure ?U2
            (MeasureFn ?N2 ?V)))
    (modalAttribute
        (greaterThan ?N1 ?N2) Likely))
Mid-level-ontology.kif 9623-9646
(=>
    (and
        (instance ?D Diuretic)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?D)
        (instance ?U1 Urination)
        (result ?U1 ?P1)
        (agent ?U1 ?H)
        (instance ?U2 Urination)
        (result ?U2 ?P2)
        (agent ?U2 ?H)
        (earlier ?U1 ?I)
        (earlier ?I ?U2)
        (instance ?V VolumeMeasure)
        (measure ?U1
            (MeasureFn ?N1 ?V))
        (measure ?U2
            (MeasureFn ?N2 ?V)))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))
Mid-level-ontology.kif 9593-9614
(=>
    (instance ?P Urination)
    (exists (?B)
        (and
            (instance ?B Bladder)
            (origin ?U ?B))))
Mid-level-ontology.kif 10778-10783
(=>
    (instance ?PROC Urination)
    (exists (?URINE)
        (and
            (instance ?URINE Urine)
            (objectTransferred ?PROC ?URINE))))
Mid-level-ontology.kif 2089-2094

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


(=>
    (instance ?X Bidet)
    (hasPurpose ?X
        (exists (?PROC ?WASH ?PART)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (instrument ?PROC ?PART)
                (instance ?WASH Washing)
                (objectTransferred ?WASH ?PART)
                (instrument ?WASH ?X)
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?WASH)))))))
Mid-level-ontology.kif 2137-2151
(=>
    (instance ?X Toilet)
    (hasPurpose ?X
        (exists (?PROC)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (destination ?PROC ?X)))))
Mid-level-ontology.kif 2164-2172


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