NoChildrenPolicy - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NoChildrenPolicy EnglishLanguage "NoChildrenPolicy states that HumanChild are not allowed within a specific location")	Hotel.kif 2622-2623
(subclass NoChildrenPolicy ChildrenPolicy)	Hotel.kif 2621-2621	No children allowed is a subclass of children policy

appearance as argument number 2

Hotel.kif 2624-2624

antecedent

(=>
    (and
        (instance ?POLICY NoChildrenPolicy)
        (policyLocationCoverage ?POLICY ?LOC)
        (policyOwner ?AGENT ?POLICY))
    (deprivesNorm ?AGENT
        (exists (?CHILD)
            (and
                (instance ?CHILD HumanChild)
                (located ?CHILD ?LOC))) Permission))

Hotel.kif 2626-2635