TreeView Knowledge Base Browser

appearance as argument number 1

(documentation FungalDisease EnglishLanguage "A disease caused by a Fungus.")	Mid-level-ontology.kif 5874-5875
(subclass FungalDisease DiseaseOrSyndrome)	Mid-level-ontology.kif 5873-5873	FungalDisease ist eine teilkategorie von DiseaseOrSyndrome

appearance as argument number 2

(termFormat EnglishLanguage FungalDisease "fungal disease")

Mid-level-ontology.kif 5876-5876

antecedent

(=>
    (and
        (instance ?F FungalDisease)
        (attribute ?H ?F))
    (exists (?FUN)
        (and
            (part ?FUN ?H)
            (instance ?FUN Fungus))))

Mid-level-ontology.kif 5878-5885

Wenn Attribute ist ein fall von FungalDisease %n{nicht} und ** Attribute ist ein attribut von Object %n{nicht},
dann es gibt ** AttributeUN um ** AttributeUN ist ein teil von ** Object %n{nicht} und ** AttributeUN ist ein fall von Fungus %n{nicht}