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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Invoice
Invoice

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 28041-28041
(subclass Invoice FinancialText) Mid-level-ontology.kif 28040-28040

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


(=>
    (instance ?INVOICE Invoice)
    (exists (?NUMBER ?BUYER ?SELLER ?ENT)
        (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 28043-28063

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


(=>
    (instance ?AN InvoiceNumber)
    (exists (?INVOICE ?SELLER ?NUMBER)
        (and
            (instance ?INVOICE Invoice)
            (instance ?SELLER Seller)
            (instance ?NUMBER SymbolicString)
            (uniqueIdWithRespectTo ?INVOICE ?SELLER ?NUMBER))))
Mid-level-ontology.kif 28111-28118


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