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 "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Ordering_wine.jpg") pictureList.kif 10188-10188
(subclass PlacingAnOrder FinancialTransaction) FinancialOntology.kif 1967-1967 Placing an order is a subclass of financial transaction

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PlacingAnOrder "正在下单") domainEnglishFormat.kif 45992-45992
(termFormat ChineseTraditionalLanguage PlacingAnOrder "正在下單") domainEnglishFormat.kif 45991-45991
(termFormat EnglishLanguage PlacingAnOrder "placing an order") domainEnglishFormat.kif 45990-45990

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


(=>
    (and
        (instance ?Order PlacingAnOrder)
        (orderFor ?Order ?TransactionType ?Shares))
    (hasPurpose ?Order
        (exists (?Transaction)
            (and
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares)))))		 FinancialOntology.kif 1988-1996
(=>
    (and
        (instance ?Place PlacingAnOrder)
        (equal
            (WhenFn ?Place) ?Time))
    (exists (?Order ?Period)
        (and
            (equal
                (WhenFn ?Order) ?Period)
            (meetsTemporally ?Time ?Period))))		 FinancialOntology.kif 1969-1976


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