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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Urine
Urinepee, 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 2555-2556
(subclass Urine Excrement) Mid-level-ontology.kif 2554-2554

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


(termFormat EnglishLanguage Urine "urine") Mid-level-ontology.kif 2557-2557

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


(=>
    (instance ?X Urine)
    (attribute ?X Solid))
Mid-level-ontology.kif 2559-2561
(=>
    (instance ?X Urine)
    (exists (?PROC ?KIDNEY)
        (and
            (instance ?PROC PhysiologicProcess)
            (instrument ?PROC ?KIDNEY)
            (instance ?KIDNEY Kidney)
            (result ?PROX ?X))))
Mid-level-ontology.kif 2563-2570

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


(=>
    (instance ?PROC Urination)
    (exists (?URINE)
        (and
            (instance ?URINE Urine)
            (patient ?PROC ?URINE))))
Mid-level-ontology.kif 2593-2598


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners