Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PurchaseOrder
PurchaseOrder(purchase order)bill-me_order, credit_order, indent, mail_order, open_account, order, production_order, purchase_order, reorder, stop_payment

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
-------------------------


(=>
    (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 29895-29915

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners