| 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