TreeView Knowledge Base Browser

appearance as argument number 1

(documentation DisabilityLeave EnglishLanguage "A leave from Working taken because a DiseaseOrSyndrome makes is difficult or impossible to work for an extended period. ")	Mid-level-ontology.kif 20496-20498
(subclass DisabilityLeave WorkLeave)	Mid-level-ontology.kif 20495-20495	DisabilityLeave ist eine teilkategorie von WorkLeave

appearance as argument number 2

domainEnglishFormat.kif 64770-64770

antecedent

(=>
    (and
        (instance ?W DisabilityLeave)
        (agent ?W ?PERSON))
    (holdsDuring
        (WhenFn ?W)
        (exists (?D)
            (and
                (instance ?D Disability)
                (attribute ?PERSON ?D)))))

Mid-level-ontology.kif 20500-20508

Wenn Process ist ein fall von DisabilityLeave %n{nicht} und ** Process ist der agent von AutonomousAgent %n{nicht},
dann es gibt entity um ** entity ist ein fall von Disability %n{nicht} und ** entity ist ein attribut von ** AutonomousAgent %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}