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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CurrencyBill
CurrencyBill
Federal_Reserve_note, bank_bill, bank_note, banker's_bill, banknote, bill, c-note, currency_bill, fifty, fifty_dollar_bill, five-spot, five_dollar_bill, fiver, folding_money, fractional_currency, government_note, greenback, hundred_dollar_bill, note, paper_currency, paper_money, ten_dollar_bill, tenner, twenty, twenty_dollar_bill, two_dollar_bill

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


(documentation CurrencyBill EnglishLanguage "Any instance of Currency that is made of paper.") Mid-level-ontology.kif 4121-4122
(externalImage CurrencyBill "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7b/ United_States_one_dollar_bill%2C_obverse.jpg") pictureList.kif 3843-3843
(externalImage CurrencyBill "http://upload.wikimedia.org/wikipedia/en/7/ 76/ Canadian_bills2.jpg") pictureList.kif 3684-3684
(subclass CurrencyBill Currency) Mid-level-ontology.kif 4119-4119

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


(partition Currency CurrencyBill CurrencyCoin) Mid-level-ontology.kif 4120-4120
(subclass UnitedStatesDollarBill CurrencyBill) Economy.kif 2943-2943
(termFormat EnglishLanguage CurrencyBill "currency bill") domainEnglishFormat.kif 3430-3430

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


(=>
    (instance ?BILL CurrencyBill)
    (exists (?PAPER)
        (and
            (instance ?PAPER Paper)
            (part ?PAPER ?BILL))))
Mid-level-ontology.kif 4124-4129


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners