PetsAllowedPolicy - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PetsAllowedPolicy EnglishLanguage "PetsAllowedPolicy states that DomesticAnimal is allowed within a specific location")	Hotel.kif 2568-2569
(subclass PetsAllowedPolicy PetPolicy)	Hotel.kif 2567-2567	Pets allowed is a subclass of pet policy

appearance as argument number 2

Hotel.kif 2570-2570

antecedent

(=>
    (and
        (instance ?POLICY PetsAllowedPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (confersNorm ?AGENT
        (exists (?PET)
            (and
                (instance ?PET DomesticAnimal)
                (located ?PET ?LOC))) Permission))

Hotel.kif 2572-2581