policyClause - Sigma Knowledge base Browser

appearance as argument number 1

(instance policyClause QuaternaryPredicate)	TravelPolicies.kif 248-248	policy clause is an instance of quaternary predicate
(documentation policyClause EnglishLanguage "(policyClause ?CLAUSE ?ATTR ?POL ?AGENT) means that Formula ?CLAUSE, which has modalAttribute ?ATTR, is part of Policy ?POL and was issued by CognitiveAgent ?AGENT")	TravelPolicies.kif 249-249	policy clause is an instance of quaternary predicate
(domain policyClause 1 Formula)	TravelPolicies.kif 252-252	The number 1 argument of policy clause is an instance of formula
(domain policyClause 2 DeonticAttribute)	TravelPolicies.kif 253-253	The number 2 argument of policy clause is an instance of deontic attribute
(domain policyClause 3 Policy)	TravelPolicies.kif 254-254	The number 3 argument of policy clause is an instance of policy
(domain policyClause 4 CognitiveAgent)	TravelPolicies.kif 255-255	The number 4 argument of policy clause is an instance of cognitive agent

appearance as argument number 2

(termFormat EnglishLanguage policyClause "policy clause")	TravelPolicies.kif 250-250
(subrelation travelPolicyClause policyClause)	TravelPolicies.kif 304-304	travelPolicyClause is a subrelation of policy clause

antecedent

(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrivRate Obligation ?TP ?COMPANY))
    (exists (?H)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (attribute ?H PrivateRate)
            (instance ?H HotelOrganization))))

If All of the following hold: (1) X is an instance of BusinessTrip (2) Y is an instance of AccommodationService (3) Y is a subprocess of X (4) Z is an instance of TravelPolicy (5) W is an agent of X (6) V employs W (7) V enacts policy Z (8) policy clause U, obligation, Z and V, then there exists T such that W receives a service during Y, T provides a service during Y, PrivateRate is an attribute of T, and T is an instance of HotelOrganization