Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - policyClause
policyClause

appearance as argument number 1
-------------------------


(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 246-246
(domain policyClause 1 Formula) TravelPolicies.kif 249-249
(domain policyClause 2 DeonticAttribute) TravelPolicies.kif 250-250
(domain policyClause 3 Policy) TravelPolicies.kif 251-251
(domain policyClause 4 CognitiveAgent) TravelPolicies.kif 252-252
(instance policyClause QuaternaryPredicate) TravelPolicies.kif 245-245

appearance as argument number 2
-------------------------


(format EnglishLanguage policyClause "%1 issued by %4 in %3 is a %2") domainEnglishFormat.kif 1040-1040
(subrelation travelPolicyClause policyClause) TravelPolicies.kif 302-302
(termFormat EnglishLanguage policyClause "policy clause") TravelPolicies.kif 247-247

antecedent
-------------------------


(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrefAccom Obligation ?TP ?COMPANY))
    (exists (?H)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (instance ?H Hotel-Organization)
            (subjectiveAttribute ?H Favorite ?ORG))))
TravelPolicies.kif 869-884
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?PrefAccom Obligation ?TP ?COMPANY))
    (exists (?HC)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?HC)
            (instance ?HC HotelChain)
            (subjectiveAttribute ?H Favorite ?ORG))))
TravelPolicies.kif 887-902
(=>
    (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 Hotel-Organization))))
TravelPolicies.kif 980-995
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (policyClause ?SuiteRoom Prohibition ?TP ?COMPANY))
    (exists (?H ?ROOM)
        (and
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (serviceInstrument ?AS ?ROOM)
            (instance ?H Hotel-Organization)
            (instance ?ROOM HotelRoom)
            (not
                (attribute ?ROOM SuiteRoom)))))
TravelPolicies.kif 1106-1124
(=>
    (and
        (instance ?BT BusinessTrip)
        (instance ?AS AccommodationService)
        (subProcess ?AS ?BT)
        (instance ?TP TravelPolicy)
        (agent ?BT ?EMPLOYEE)
        (employs ?COMPANY ?EMPLOYEE)
        (policyOwner ?COMPANY ?TP)
        (serviceRecipient ?AS ?EMPLOYEE)
        (serviceProvider ?AS ?H)
        (serviceInstrument ?AS ?ROOM)
        (policyClause ?MaxRateK Prohibition ?TP ?COMPANY)
        (rentalPrice ?ROOM ?RATE ?H ?PS))
    (not
        (greaterThan ?RATE
            (MeasureFn 1000 UnitedStatesDollar))))
TravelPolicies.kif 1179-1194
(=>
    (and
        (instance ?PC PreferredChain)
        (instance ?ORG Organization)
        (policyOwner ?ORG ?TP)
        (policyClause prefAccomm Obligation ?TP ?ORG))
    (exists (?ORD)
        (and
            (instance ?ORD Ordering)
            (agent ?ORD ?ORG)
            (patient ?ORD ?FORM)
            (containsInformation ?ORD ?FORM)
            (subjectiveAttribute ?PC Favorite ?ORG))))
TravelPolicies.kif 849-861
(=>
    (and
        (instance ?PH PreferredHotel)
        (instance ?ORG Organization)
        (policyOwner ?ORG ?TP)
        (policyClause prefAccomm Obligation ?TP ?ORG))
    (exists (?ORD)
        (and
            (instance ?ORD Ordering)
            (agent ?ORD ?ORG)
            (patient ?ORD ?FORM)
            (containsInformation ?ORD ?FORM)
            (subjectiveAttribute ?PH Favorite ?ORG))))
TravelPolicies.kif 832-844
(=>
    (and
        (instance ?TP TravelPolicy)
        (policyOwner ?ORG ?TP)
        (policyClause ?PerDiemBound Obligation ?TP ?ORG))
    (exists (?AS ?H ?RATE ?ROOM ?BOUND)
        (and
            (instance ?AS AccommodationService)
            (instance ?H Hotel-Organization)
            (instance ?PS PricingScheme)
            (serviceProvider ?AS ?H)
            (serviceInstrument ?AS ?ROOM)
            (rentalPrice ?ROOM ?RATE ?H ?PS)
            (not
                (greaterThan ?RATE ?BOUND))
            (equal ?BOUND
                (PerDiemFn ?ORG)))))
TravelPolicies.kif 1212-1227
(=>
    (policyClause ?CLAUSE ?ATTR ?POL ?AGENT)
    (exists (?PROP ?PROC)
        (and
            (policyOwner ?AGENT ?POL)
            (instance ?PROC ContentDevelopment)
            (result ?PROC ?CLAUSE)
            (agent ?PROC ?AGENT)
            (containsInformation ?CLAUSE ?PROP)
            (subProposition ?PROP ?POL)
            (modalAttribute ?CLAUSE ?ATTR))))
TravelPolicies.kif 254-264


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners