| appearance as argument number 1 |
|
| s__instance(s__Report,s__SetOrClass)
|
TravelPolicies.kif 595-595 |
| antecedent |
|
|
| ( ! [V__BT,V__ER,V__R] : ((s__instance(V__BT,s__BusinessTrip) & s__instance(V__ER,s__ExpenseReport)) => (? [V__EMPLOYEE,V__ORG] : (s__instance(V__R,s__Reimbursement) & s__agent(V__BT,V__EMPLOYEE) & s__agent(V__R,V__ORG) & s__destination(V__R,V__EMPLOYEE)))) )
|
TravelPolicies.kif 656-665 | |
| ( ! [V__PROP,V__CBO,V__ER] : ((s__instance(V__PROP,s__Proposition) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__PROP) & s__instance(V__ER,s__ExpenseReport) & s__patient(V__ER,V__CBO)) => s__represents(V__ER,V__PROP)) )
|
TravelPolicies.kif 617-624 | |
| ( ! [V__ER] : (s__instance(V__ER,s__ExpenseReport) => (? [V__EMPLOYEE,V__ORG] : (s__instance(V__ER,s__Report) & s__agent(V__ER,V__EMPLOYEE) & s__patient(V__ER,V__ORG)))) )
|
TravelPolicies.kif 597-603 | |
| ( ! [V__ER] : (s__instance(V__ER,s__ExpenseReport) => (? [V__PHYS,V__ENTITY,V__AGENT1,V__AGENT2] : (s__refers(V__PHYS,V__ENTITY) & s__patient(V__ER,V__PHYS) & s__instance(V__AGENT1,s__CognitiveAgent) & s__agent(V__ER,V__AGENT1) & s__instance(V__AGENT2,s__CognitiveAgent) & s__destination(V__ER,V__AGENT2) & s__employs(V__AGENT2,V__AGENT1)))) )
|
TravelPolicies.kif 630-640 | |
| No TPTP formula. May not be expressible in strict first order. | TravelPolicies.kif 607-613 |
| consequent |
|
|
| ( ! [V__BT,V__EMPLOYEE,V__ORG] : ((s__instance(V__BT,s__BusinessTrip) & s__agent(V__BT,V__EMPLOYEE) & s__employs(V__ORG,V__EMPLOYEE)) => (? [V__TA,V__ER,V__R] : (s__instance(V__TA,s__TravelApproval) & s__instance(V__ER,s__ExpenseReport) & s__instance(V__R,s__Reimbursement) & s__agent(V__TA,V__ORG) & s__agent(V__ER,V__EMPLOYEE) & s__agent(V__R,V__ORG)))) )
|
TravelPolicies.kif 670-682 | |
| ( ! [V__BT] : (s__instance(V__BT,s__BusinessTrip) => (? [V__ER,V__EMPLOYEE] : (s__instance(V__ER,s__ExpenseReport) & s__agent(V__BT,V__EMPLOYEE) & s__agent(V__ER,V__EMPLOYEE)))) )
|
TravelPolicies.kif 581-587 |
|
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