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 は Excrement の subclass では %n

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	オブジェクトは Urine の instance では %n Liquid はオブジェクトの attribute では %n
(=> (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	エンティティーは Urine の instance では %n 工程オブジェクト工程は生理学的プロセスの instance では %n オブジェクトは工程の instrument では %n オブジェクトは Kidney の instance では %n エンティティーは工程の result では %n

consequent

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

Mid-level-ontology.kif 2127-2132