PetsAllowedPolicy |
appearance as argument number 1 |
![]() |
(documentation PetsAllowedPolicy EnglishLanguage "PetsAllowedPolicy states that DomesticAnimal is allowed within a specific location") | Hotel.kif 2503-2504 | |
(subclass PetsAllowedPolicy PetPolicy) | Hotel.kif 2502-2502 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage PetsAllowedPolicy "pets allowed") | Hotel.kif 2505-2505 |
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 2507-2516 |
![]() |
![]() |