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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BusinessTrip

Sigma KEE - BusinessTrip
BusinessTrip

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


(=>
    (and
        (instance ?BT BusinessTrip)
        (agent ?BT ?EMPLOYEE)
        (employs ?ORG ?EMPLOYEE))
    (exists (?TA ?ER ?R)
        (and
            (instance ?TA TravelApproval)
            (instance ?ER ExpenseReport)
            (instance ?R Reimbursement)
            (agent ?TA ?ORG)
            (agent ?ER ?EMPLOYEE)
            (agent ?R ?ORG))))
TravelPolicies.kif 670-682
(=>
    (and
        (instance ?BT BusinessTrip)
        (agent ?BT ?EMPLOYEE))
    (exists (?AS ?H)
        (and
            (instance ?AS AccommodationService)
            (subProcess ?AS ?BT)
            (serviceRecipient ?AS ?EMPLOYEE)
            (serviceProvider ?AS ?H)
            (instance ?H Hotel-Organization))))
TravelPolicies.kif 716-726
(=>
    (and
        (instance ?BT BusinessTrip)
        (agent ?BT ?EMPLOYEE))
    (exists (?TRAVELREQUEST ?CORPORATION)
        (and
            (employs ?CORPORATION ?EMPLOYEE)
            (instance ?TRAVELREQUEST Requesting)
            (agent ?TRAVELREQUEST ?EMPLOYEE)
            (result ?TRAVELREQUEST ?BT))))
TravelPolicies.kif 486-495
(=>
    (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 ?BT BusinessTrip)
        (instance ?ER ExpenseReport))
    (exists (?EMPLOYEE ?ORG)
        (and
            (instance ?R Reimbursement)
            (agent ?BT ?EMPLOYEE)
            (agent ?R ?ORG)
            (destination ?R ?EMPLOYEE))))
TravelPolicies.kif 656-665
(=>
    (and
        (instance ?T BusinessTrip)
        (agent ?T ?EMPLOYEE))
    (exists (?SERVICE ?PAYMENT)
        (and
            (instance ?SERVICE CommercialService)
            (instance ?PAYMENT Payment)
            (subProcess ?PAYMENT ?SERVICE)
            (agent ?PAYMENT ?EMPLOYEE))))
TravelPolicies.kif 419-428
(=>
    (instance ?BT BusinessTrip)
    (exists (?ER ?EMPLOYEE)
        (and
            (instance ?ER ExpenseReport)
            (agent ?BT ?EMPLOYEE)
            (agent ?ER ?EMPLOYEE))))
TravelPolicies.kif 581-587
(=>
    (instance ?BT BusinessTrip)
    (exists (?R)
        (and
            (instance ?R Payment)
            (agent ?BT ?EMPLOYEE)
            (agent ?R ?ORG)
            (destination ?R ?EMPLOYEE))))
TravelPolicies.kif 645-652
(=>
    (instance ?BT BusinessTrip)
    (exists (?TA)
        (and
            (instance ?TA TravelApproval)
            (agent ?TA ?ORG)
            (patient ?TA ?BT))))
TravelPolicies.kif 545-551
(=>
    (instance ?T BusinessTrip)
    (exists (?Destination)
        (and
            (instance ?Destination City)
            (destination ?BT ?Destination))))
TravelPolicies.kif 699-704
(=>
    (instance ?T BusinessTrip)
    (exists (?TRIP ?HUMAN ?ORG ?AREA)
        (and
            (instance ?TRIP Trip)
            (agent ?TRIP ?HUMAN)
            (organizationRepresentative ?HUMAN ?ORG)
            (hasPurpose ?TRIP
                (exists (?WORK)
                    (and
                        (instance ?WORK Working)
                        (agent ?WORK ?HUMAN)
                        (holdsDuring ?WORK ?TRIP))))
            (not
                (and
                    (basedIn ?HUMAN ?ORG ?AREA)
                    (located ?WORK ?AREA))))))
TravelPolicies.kif 385-401

consequent
-------------------------


(=>
    (and
        (instance ?TA TravelApproval)
        (possesses ?EMPLOYEE ?TA))
    (confersNorm ?TA
        (exists (?BT)
            (and
                (instance ?BT BusinessTrip)
                (patient ?TA ?BT)
                (agent ?BT ?EMPLOYEE))) Permission))
TravelPolicies.kif 568-577
(=>
    (instance ?T TravelPolicy)
    (exists (?ORG ?INDIVIDUAL ?BUSINESSTRIP)
        (and
            (policyOwner ?ORG ?T)
            (organizationRepresentative ?INDIVIDUAL ?ORG)
            (instance ?BUSINESSTRIP BusinessTrip)
            (agent ?BUSINESSTRIP ?INDIVIDUAL))))
TravelPolicies.kif 1288-1295


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

Show without tree


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