Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Invoice
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Invoice FinancialText) | Mid-level-ontology.kif 32462-32462 | Invoice is a subclass of financial text |
| (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 32463-32465 | Invoice is a subclass of financial text |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Invoice "invoice") | domainEnglishFormat.kif 65047-65047 |
| antecedent |
|
|
| (=> (instance ?INVOICE Invoice) (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?INVOICE) (buys ?BUYER ?SELLER ?ENT) (confersRight ?SELLER ?BUYER (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))))))) |
Mid-level-ontology.kif 32467-32487 | If X is an instance of invoice, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that the unique identifier of Y is X (3) Z buys V from W (4) Z allows there exists T such that the beginning of the time of existence of X happens before the beginning of the time of existence of T (5) T is an instance of selling (6) U is an instance of product (7) the object transferred in T is U (8) X includes a reference to U (9) W is an agent of T (10) Z is a patient of T to perform task of the type W |
| 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 32540-32547 | If X is an instance of invoice number, then there exist Y, Z, W such that Y is an instance of invoice, W is an instance of selling, Z is an agent of W, and X is a unique ID for Z with respect to Y |
|