TreeView 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 2088-2089
(subclass Urine Excrement)	Mid-level-ontology.kif 2087-2087	子類 Urine and Excrement

appearance as argument number 2

(termFormat EnglishLanguage Urine "urine")

Mid-level-ontology.kif 2090-2090

antecedent

(=> (instance ?X Urine) (attribute ?X Liquid))	Mid-level-ontology.kif 2092-2094	例 Object and Urine attribute Object and 液體
(=> (instance ?X Urine) (exists (?PROC ?KIDNEY) (and (instance ?PROC PhysiologicProcess) (instrument ?PROC ?KIDNEY) (instance ?KIDNEY Kidney) (result ?PROC ?X))))	Mid-level-ontology.kif 2096-2103	例 Entity and Urine Process Object 例 Process and PhysiologicProcess 儀器 Process and Object 例 Object and 腎結果 Process and Entity

consequent

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

Mid-level-ontology.kif 2127-2132