NoPetsPolicy - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NoPetsPolicy EnglishLanguage "NoPetsPolicy states that DomesticAnimal is not allowed within a specific location")	Hotel.kif 2584-2585
(subclass NoPetsPolicy PetPolicy)	Hotel.kif 2583-2583

appearance as argument number 2

(termFormat EnglishLanguage NoPetsPolicy "no pets allowed")

Hotel.kif 2586-2586

antecedent

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

Hotel.kif 2588-2597