Urination - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 2123-2124
(subclass Urination Excreting)	Mid-level-ontology.kif 2122-2122	Urination is a subclass of excreting

appearance as argument number 2

(termFormat EnglishLanguage Urination "urination")

Mid-level-ontology.kif 2125-2125

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 UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 10273-10296	If an object is an instance of antidiuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and the time interval is not equal to the other time interval and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the real number is greater than the other real number has the modal force of likely
(=> (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 UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 10243-10264	If an object is an instance of diuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the other real number is greater than the real number has the modal force of likely
(=> (instance ?P Urination) (exists (?B) (and (instance ?B Bladder) (origin ?P ?B))))	Mid-level-ontology.kif 11496-11501	If a process is an instance of urination, then there exists an object such that the object is an instance of bladder and the process originates at the object
(=> (instance ?PROC Urination) (exists (?URINE) (and (instance ?URINE Urine) (objectTransferred ?PROC ?URINE))))	Mid-level-ontology.kif 2127-2132	If a transfer is an instance of urination, then there exists an object such that the object is an instance of urine and the object transferred in the transfer is the object

consequent

(=> (instance ?U Urethra) (hasPurpose ?U (exists (?UR) (and (instance ?UR Urination) (instrument ?UR ?U)))))	Anatomy.kif 1550-1556	If a physical is an instance of urethra, then the physical has the purpose there exists the physicalR such that the physicalR is an instance of urination and the physical is an instrument for the physicalR
(=> (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 2175-2189	If a physical is an instance of bidet, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of defecation or the entity is an instance of urination and the third entity is an instrument for the entity and the other entity is an instance of washing and the object transferred in the other entity is the third entity and the physical is an instrument for the other entity and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity
(=> (instance ?X Toilet) (hasPurpose ?X (exists (?PROC) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (destination ?PROC ?X)))))	Mid-level-ontology.kif 2202-2210	If a physical is an instance of toilet, then the physical has the purpose there exists an entity such that the entity is an instance of defecation or the entity is an instance of urination and the entity ends up at the physical

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