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 | Purchase order is a subclass of financial text |
appearance as argument number 2 |
(termFormat EnglishLanguage PurchaseOrder "purchase order") | domainEnglishFormat.kif 65371-65371 |
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 30038-30044 |
|