TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Pyelonephritis (InflammationFn Kidney))	Medicine.kif 5068-5068	Urosepsis is a subclass of inflammation of kidney
(documentation Pyelonephritis EnglishLanguage "Pyelonephritis is Inflammation of the Kidney, typically due to a bacterial infection. Symptoms most often include fever and flank tenderness. Other symptoms may include nausea, burning with urination, and frequent urination. Complications may include pus around the kidney, sepsis, or kidney failure. It is typically due to a bacterial infection, most commonly Escherichia coli. Risk factors include sexual intercourse, prior urinary tract infections, diabetes, structural problems of the urinary tract, and spermicide use. The mechanism of infection is usually spread up the urinary tract. Less often infection occurs through the bloodstream. Diagnosis is typically based on symptoms and supported by urinalysis. If there is no improvement with treatment, medical imaging may be recommended.[from Wikipedia]")	Medicine.kif 5069-5082	Urosepsis is a subclass of inflammation of kidney

appearance as argument number 2

(termFormat EnglishLanguage Pyelonephritis "pyelonephritis")	Medicine.kif 5083-5083
(termFormat EnglishLanguage Pyelonephritis "urosepsis")	Medicine.kif 5084-5084

antecedent

(=>
    (attribute ?H Pyelonephritis)
    (modalAttribute
        (exists (?B ?K)
            (and
                (instance ?B Bacterium)
                (instance ?K Kidney)
                (part ?K ?H)
                (located ?B ?K))) Likely))

If urosepsis is an attribute of X, then the statement there exist Y, Z such that Y is an instance of bacterium, Z is an instance of kidney, Z is a part of X, and Y is located at Z has the modal force of likely