Invoice - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Invoice EnglishLanguage "A FinancialText which refers to the Selling of physical goods and confersRight to a buyer to purchase goods according to agreed upon terms. An Invoice can occur before or after buyer's receipt of goods, but only before before a seller's receipt of payment.")	Mid-level-ontology.kif 30121-30123
(subclass Invoice FinancialText)	Mid-level-ontology.kif 30120-30120	Invoice is a subclass of financial text

appearance as argument number 2

(termFormat EnglishLanguage Invoice "invoice")

domainEnglishFormat.kif 65092-65092

antecedent

(=>
    (instance ?INVOICE Invoice)
    (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
        (and
            (uniqueIdentifier ?NUMBER ?INVOICE)
            (buys ?BUYER ?SELLER ?ENT)
            (confersRight
                (exists (?SELLING)
                    (and
                        (before
                            (BeginFn
                                (WhenFn ?INVOICE))
                            (BeginFn
                                (WhenFn ?SELLING)))
                        (instance ?SELLING Selling)
                        (instance ?PRODUCT Product)
                        (objectTransferred ?SELLING ?PRODUCT)
                        (refers ?INVOICE ?PRODUCT)
                        (agent ?SELLING ?SELLER)
                        (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))

Mid-level-ontology.kif 30125-30145

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

(=>
    (instance ?AN InvoiceNumber)
    (exists (?INVOICE ?SELLER ?SELLING)
        (and
            (instance ?INVOICE Invoice)
            (instance ?SELLING Selling)
            (agent ?SELLING ?SELLER)
            (uniqueIdWithRespectTo ?INVOICE ?SELLER ?AN))))

Mid-level-ontology.kif 30198-30205

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

KB Term:			Term intersection

English Word: