ExpenseReport - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ExpenseReport

ExpenseReport

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.

TravelPolicies.kif 595-595

ExpenseReport is a subclass of report

antecedent

No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 656-665	If a process is an instance of BusinessTrip and an entity is an instance of ExpenseReport, then there exist an agent and another agent such that another process is an instance of Reimbursement and the agent is an agent of the process and the other agent is an agent of the other process and the other process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 617-624	If a proposition is an instance of proposition and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of ExpenseReport and the content bearing physical is a patient of the process, then the process expresses the proposition
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 597-603	If a process is an instance of ExpenseReport, then there exist an agent and an entity such that the process is an instance of report and the agent is an agent of the process and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 630-640	If a process is an instance of ExpenseReport, then there exist an entity, another entity,, , a cognitive agent and an agent such that the entity includes a reference to the other entity and the entity is a patient of the process and the cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the process and the agent is an instance of cognitive agent and the process ends up at the agent and the agent employs the cognitive agent
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 607-613	If an object is an instance of ExpenseReport, then the object has purpose there exists a process such that the process is an instance of communication and the object is an instrument for the process

consequent

No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 670-682	If a process is an instance of BusinessTrip and a cognitive agent is an agent of the process and an agent employs the cognitive agent, then there exist another process, a third process and a fourth process such that the other process is an instance of TravelApproval and the third process is an instance of ExpenseReport and the fourth process is an instance of Reimbursement and the agent is an agent of the other process and the cognitive agent is an agent of the third process and the agent is an agent of the fourth process
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 581-587	If a process is an instance of BusinessTrip, then there exist another process and an agent such that the other process is an instance of ExpenseReport and the agent is an agent of the process and the agent is an agent of the other process

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