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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TravelRequest

Sigma KEE - TravelRequest
TravelRequest

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


(documentation TravelRequest EnglishLanguage "A TravelRequest expresses a desire that some future BusinessTrip.") TravelPolicies.kif 482-482
(subclass TravelRequest Requesting) TravelPolicies.kif 484-484

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


(termFormat EnglishLanguage TravelRequest "an employee must request permission to go in a BusinessTrip") TravelPolicies.kif 483-483

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


(=>
    (and
        (instance ?TR TravelRequest)
        (agent ?TR ?EMPLOYEE)
        (patient ?TR ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?EMPLOYEE ?FORMULA))
TravelPolicies.kif 499-505
(=>
    (and
        (instance ?TR TravelRequest)
        (instance ?TP TravelPolicy))
    (exists (?FORMULA1 ?FORMULA2)
        (and
            (realization ?TR ?FORMULA1)
            (realization ?TP ?FORMULA2)
            (consistent ?FORMULA1 ?FORMULA2))))
TravelPolicies.kif 510-518

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


(=>
    (instance ?FORM TravelRequestForm)
    (exists (?PROP)
        (and
            (instance ?FORM TravelRequestForm)
            (containsInformation ?FORM ?PROP)
            (property ?PROP TravelRequest))))
TravelPolicies.kif 526-532
(=>
    (instance ?T TravelRequestForm)
    (hasPurpose ?T
        (exists (?R)
            (and
                (instance ?R TravelRequest)
                (instrument ?R ?T)))))
TravelPolicies.kif 535-541


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