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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlacingAnOrder

Sigma KEE - PlacingAnOrder
PlacingAnOrder

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


(externalImage PlacingAnOrder "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Ordering_wine.jpg") pictureList.kif 10190-10190
(subclass PlacingAnOrder FinancialTransaction) FinancialOntology.kif 1950-1950

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


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

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


(=>
    (and
        (instance ?Order PlacingAnOrder)
        (orderFor ?Order ?TransactionType ?Shares))
    (hasPurpose ?Order
        (exists (?Transaction)
            (and
                (instance ?Transaction ?TransactionType)
                (patient ?Transaction ?Shares)))))
FinancialOntology.kif 1971-1979
(=>
    (and
        (instance ?Place PlacingAnOrder)
        (equal
            (WhenFn ?Place) ?Time))
    (exists (?Order ?Period)
        (and
            (equal
                (WhenFn ?Order) ?Period)
            (meetsTemporally ?Time ?Period))))
FinancialOntology.kif 1952-1959


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 3.0 is open source software produced by Articulate Software and its partners