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 29864-29866 | |
(subclass Invoice FinancialText) | Mid-level-ontology.kif 29863-29863 | Invoice e' uma sub-classe de FinancialText |
appearance as argument number 2 |
(termFormat EnglishLanguage Invoice "invoice") | domainEnglishFormat.kif 65044-65044 |
antecedent |
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 29941-29948 |
|