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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlacingAnOrder

Sigma KEE - PlacingAnOrder
PlacingAnOrder(placing an order)
placing_an_order

appearance as argument number 1
-------------------------


(externalImage PlacingAnOrder "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Ordering_wine.jpg") pictureList.kif 10211-10211 "http://upload.wikimedia.org/wikipedia/commons/c/ce/ 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

antecedent
-------------------------


(=>
    (and
        (instance ?Order PlacingAnOrder)
        (orderFor ?Order ?TransactionType ?Shares))
    (hasPurpose ?Order
        (exists (?Transaction)
            (and
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares)))))
FinancialOntology.kif 1908-1916
(=>
    (and
        (instance ?Place PlacingAnOrder)
        (equal
            (WhenFn ?Place) ?Time))
    (exists (?Order ?Period)
        (and
            (equal
                (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