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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Urine
Urine(urine)pee, piddle, piss, urine, water, weewee

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


    (instance ?X Urine)
    (attribute ?X Liquid))
Mid-level-ontology.kif 2071-2073
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROC ?X))))
Mid-level-ontology.kif 2075-2082


    (instance ?PROC Urination)
    (exists (?URINE)
            (instance ?URINE Urine)
            (objectTransferred ?PROC ?URINE))))
Mid-level-ontology.kif 2106-2111

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