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 29879-29881 | |
(subclass PurchaseOrder FinancialText) | Mid-level-ontology.kif 29878-29878 | PurchaseOrder è una sottoclasse di FinancialText |
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 30002-30008 |