consequent

(=>     (and         (instance ?POLICY NoChildrenPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (deprivesNorm ?AGENT         (exists (?CHILD)             (and                 (instance ?CHILD HumanChild)                 (located ?CHILD ?LOC))) Permission))	Hotel.kif 2637-2646	If a policy is an instance of no children allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of human child and the entity is located at the object for permission
(=>     (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	If a policy is an instance of no pets allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object for permission
(=>     (and         (instance ?POLICY NoSmokingPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (deprivesNorm ?AGENT         (exists (?SMOKE)             (and                 (instance ?SMOKE Smoking)                 (located ?SMOKE ?LOC))) Permission))	Hotel.kif 2604-2613	If a policy is an instance of no smoking policy and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of smoking and the entity is located at the object for permission
(=>     (deprivesNorm ?E ?F Permission)     (deprivesNorm ?E ?F Obligation))	Law.kif 353-355	If an entity deprives norm a formula for permission, then the entity deprives norm the formula for obligation
(=>     (instance ?DECLARE Declaring)     (exists (?PROP ?NORM)         (or             (confersNorm ?DECLARE ?PROP ?NORM)             (deprivesNorm ?DECLARE ?PROP ?NORM))))	Merge.kif 13422-13427	If an entity is an instance of declaring, then there exist a formula and an objective norm such that the entity confers norm the formula for the objective norm or the entity deprives norm the formula for the objective norm
(=>     (instance ?DOC Certificate)     (exists (?PROP ?NORM)         (or             (confersNorm ?DOC ?PROP ?NORM)             (deprivesNorm ?DOC ?PROP ?NORM))))	Merge.kif 15811-15816	If an entity is an instance of certificate, then there exist a formula and an objective norm such that the entity confers norm the formula for the objective norm or the entity deprives norm the formula for the objective norm

Show simplified definition (without tree view)
Show simplified definition (with tree view)