| PurchaseOrder | |
| appearance as argument number 1 |
|
|
| (documentation PurchaseOrder EnglishLanguage "A FinancialText which refers to the Selling of physical goods and confersObligation to a buyer to purchase goods according to agreed upon terms. A PurchaseOrder always occurs before Buying.") | Mid-level-ontology.kif 29915-29917 | |
| (subclass PurchaseOrder FinancialText) | Mid-level-ontology.kif 29914-29914 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PurchaseOrder "purchase order") | domainEnglishFormat.kif 65371-65371 |
| antecedent |
|
|
| (=> (instance ?PO PurchaseOrder) (exists (?NUMBER ?BUYER ?SELLER ?PRODUCT) (and (uniqueIdentifier ?NUMBER ?PO) (buys ?BUYER ?SELLER ?PRODUCT) (confersObligation (exists (?BUYING) (and (before (BeginFn (WhenFn ?PO)) (BeginFn (WhenFn ?BUYING))) (instance ?BUYING Buying) (instance ?PRODUCT Product) (objectTransferred ?BUYING ?PRODUCT) (refers ?PO ?PRODUCT) (agent ?BUYING ?BUYER) (patient ?BUYING ?SELLER))) ?BUYER ?SELLER)))) |
Mid-level-ontology.kif 29919-29939 |
| consequent |
|
|
| (=> (instance ?AN PurchaseOrderNumber) (exists (?PO ?BUYER ?SELLER ?ENT) (and (instance ?PO PurchaseOrder) (buys ?BUYER ?SELLER ?ENT) (uniqueIdWithRespectTo ?PO ?BUYER ?AN)))) |
Mid-level-ontology.kif 30038-30044 |
|
|
|