Urine - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Urine EnglishLanguage "Urine is a type of Liquid Excrement that is secreted by the Kidney")	Mid-level-ontology.kif 2067-2068
(subclass Urine Excrement)	Mid-level-ontology.kif 2066-2066	Urine is a subclass of excrement

appearance as argument number 2

(termFormat EnglishLanguage Urine "urine")

Mid-level-ontology.kif 2069-2069

antecedent

(=> (instance ?X Urine) (attribute ?X Liquid))	Mid-level-ontology.kif 2071-2073	If an object is an instance of urine, then liquid is an attribute of the object
(=> (instance ?X Urine) (exists (?PROC ?KIDNEY) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?KIDNEY) (instance ?KIDNEY Kidney) (result ?PROC ?X))))	Mid-level-ontology.kif 2075-2082	If an entity is an instance of urine, then there exist a process and an object such that the process is an instance of physiologic process and the object is an instrument for the process and the object is an instance of kidney and the entity is a result of the process

consequent

(=>
    (instance ?PROC Urination)
    (exists (?URINE)
        (and
            (instance ?URINE Urine)
            (objectTransferred ?PROC ?URINE))))

Mid-level-ontology.kif 2106-2111

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