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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - PlacingAnOrder
PlacingAnOrder(placing an order)

appearance as argument number 1

(externalImage PlacingAnOrder " c/ ce/ Ordering_wine.jpg") pictureList.kif 10211-10211 " Ordering_wine.jpg" is a URL depicting placing an order
(subclass PlacingAnOrder FinancialTransaction) FinancialOntology.kif 1887-1887 Placing an order is a subclass of financial transaction

appearance as argument number 2

(termFormat EnglishLanguage PlacingAnOrder "placing an order") domainEnglishFormat.kif 8087-8087 "placing an order" is the printable form of placing an order in english language


        (instance ?Order PlacingAnOrder)
        (orderFor ?Order ?TransactionType ?Shares))
    (hasPurpose ?Order
        (exists (?Transaction)
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares)))))
FinancialOntology.kif 1908-1916
        (instance ?Place PlacingAnOrder)
            (WhenFn ?Place) ?Time))
    (exists (?Order ?Period)
                (WhenFn ?Order) ?Period)
            (meetsTemporally ?Time ?Period))))
FinancialOntology.kif 1889-1896

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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners