TreeView Knowledge Base Browser

appearance as argument number 1

(documentation VacuumHose EnglishLanguage "A Hose, typically found in modern Automobiles that link one area of PartialVacuum to another.")	Cars.kif 4230-4231
(subclass VacuumHose Hose)	Cars.kif 4228-4228	VacuumHose ist eine teilkategorie von Hose

appearance as argument number 2

(termFormat EnglishLanguage VacuumHose "vacuum hose")

Cars.kif 4229-4229

antecedent

(=>
    (instance ?VH VacuumHose)
    (hasPurpose ?VH
        (exists (?H)
            (and
                (instance ?H HoleRegion)
                (equal ?VH
                    (HoleHostFn ?H))
                (attribute ?H PartialVacuum)))))

Cars.kif 4233-4240

Wenn Physical ist ein fall von VacuumHose %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von HoleRegion %n{nicht} und ** Physical ist gleich HoleHostFn ** entity %n{nicht} und PartialVacuum ist ein attribut von ** entity %n{nicht} %n{nicht}