TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Discharging ElectricTransmission)

Cars.kif 2425-2425

appearance as argument number 2

(termFormat EnglishLanguage Discharging "discharging")

Cars.kif 2426-2426

antecedent

(=>
    (instance ?D Discharging)
    (exists (?B)
        (and
            (instance ?B Battery)
            (origin ?D ?B))))

Cars.kif 2430-2435

Wenn Process ist ein fall von Discharging %n{nicht},
dann es gibt Object um ** Object ist ein fall von Battery %n{nicht} und ** Process beginnet an ** Object %n{nicht}