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 29888-29890 | |
(subclass Invoice FinancialText) | Mid-level-ontology.kif 29887-29887 | Invoice is a subclass of financial text |
appearance as argument number 2 |
(termFormat EnglishLanguage Invoice "invoice") | domainEnglishFormat.kif 65046-65046 |
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 29892-29912 |
|
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 29965-29972 |
|