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 29891-29893 | |
(subclass PurchaseOrder FinancialText) | Mid-level-ontology.kif 29890-29890 | Purchase order is a subclass of financial text |
appearance as argument number 2 |
(termFormat EnglishLanguage PurchaseOrder "purchase order") | domainEnglishFormat.kif 65369-65369 |
antecedent |
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 30014-30020 |
|