![]() |
![]() ![]() ![]()
|
![]() |
|
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 29852-29854 | |
(subclass Invoice FinancialText) | Mid-level-ontology.kif 29851-29851 | 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 29929-29936 |
|
![]() |
![]() |