TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Bartender EnglishLanguage "A bartender is a person who serves AlcoholicBeverages behind a counter (or similar) in a bar, pub, tavern, or similar establishment. Bartending requires certification in the US .")	Mid-level-ontology.kif 26873-26874
(subclass Bartender SkilledOccupation)	Mid-level-ontology.kif 26872-26872	Bartender ist eine teilkategorie von SkilledOccupation

appearance as argument number 2

(termFormat EnglishLanguage Bartender "bartender")

domainEnglishFormat.kif 64521-64521

antecedent

(=>
    (attribute ?P Bartender)
    (exists (?S ?B)
        (and
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))

Mid-level-ontology.kif 26876-26883

Wenn Bartender ist ein attribut von AutonomousAgent %n{nicht},
dann es gibt Process und Entity um ** Process ist ein fall von Serving %n{nicht} und ** Entity ist ein fall von AlcoholicBeverage %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht}