PurchaseOrder - Sigma Knowledge base Browser

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 e' uma sub-classe de FinancialText

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

Entidade e' uma instancia de PurchaseOrder
Sequencia Simbolica Agente Cognitivo, Agente Cognitivo and Entidade o identificador unico de Sequencia Simbolica e' Entidade buys Agente Cognitivo, Agente Cognitivo and Entidade Agente Cognitivo obriga Agente Cognitivo a executar tarefas de tipo Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade Entidade e' uma instancia de Comprar Entidade e' uma instancia de Produto objectTransferred Entidade and Entidade Entidade inclui uma referencia a Entidade Entidade e' um agente de Agente Cognitivo Agente Cognitivo e' um patient de Entidade

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

Sequencia Simbolica e' uma instancia de PurchaseOrderNumber
Fisico Agente Cognitivo, AutonomousAgent and Entidade Fisico e' uma instancia de PurchaseOrder buys Agente Cognitivo, AutonomousAgent and Entidade uniqueIdWithRespectTo Fisico, Agente Cognitivo and Sequencia Simbolica

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

KB Term:			Term intersection

English Word: