TreeView Knowledge Base Browser - Invoice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Invoice

Invoice(invoice)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29888-29890
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29887-29887	Invoice is a subclass of financial text

appearance as argument number 2

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

domainEnglishFormat.kif 65046-65046

antecedent

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

Mid-level-ontology.kif 29892-29912

If an entity is an instance of invoice,
then there exist a symbolic string, a cognitive agent,, , an agent,, , another entity and a third entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the agent and the agent allows the cognitive agent to perform task of the type there exists a fourth entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fourth entity and the fourth entity is an instance of selling and the third entity is an instance of product and the object transferred in the fourth entity is the third entity and the entity includes a reference to the third entity and the agent is an agent of the fourth entity and the cognitive agent is a patient of the fourth entity

consequent

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

Mid-level-ontology.kif 29965-29972

If a symbolic string is an instance of invoice number,
then there exist a physical, an agent and a process such that the physical is an instance of invoice and the process is an instance of selling and the agent is an agent of the process and the symbolic string is a unique ID for the agent with respect to the physical

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 3.0 is open source software produced by Articulate Software and its partners