CurrencyCoin - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CurrencyCoin EnglishLanguage "Any instance of Currency that is made of Metal.")	Mid-level-ontology.kif 3530-3531
(subclass CurrencyCoin Currency)	Mid-level-ontology.kif 3529-3529

appearance as argument number 2

(subclass AfghanAfghaniCoin CurrencyCoin)	Economy.kif 2910-2910
(subclass BritishPoundCoin CurrencyCoin)	Economy.kif 2912-2912
(subclass CanadianDollarCoin CurrencyCoin)	Economy.kif 2914-2914
(subclass EuroCentCoin CurrencyCoin)	Economy.kif 2916-2916
(subclass EuroDollarCoin CurrencyCoin)	Economy.kif 2918-2918
(subclass FrenchFrancCoin CurrencyCoin)	Economy.kif 2920-2920
(subclass GermanMarkCoin CurrencyCoin)	Economy.kif 2922-2922
(subclass ItalianLiraCoin CurrencyCoin)	Economy.kif 2924-2924
(subclass JapaneseYenCoin CurrencyCoin)	Economy.kif 2926-2926
(subclass TajikSomoniCoin CurrencyCoin)	Economy.kif 2928-2928
(subclass UnitedStatesCentCoin CurrencyCoin)	Economy.kif 2931-2931
(subclass UnitedStatesFiveCentCoin CurrencyCoin)	Economy.kif 2934-2934
(subclass UnitedStatesQuarterCoin CurrencyCoin)	Economy.kif 2940-2940
(subclass UnitedStatesTenCentCoin CurrencyCoin)	Economy.kif 2937-2937
(termFormat ChineseLanguage CurrencyCoin "货币硬币")	domainEnglishFormat.kif 18057-18057
(termFormat ChineseTraditionalLanguage CurrencyCoin "貨幣硬幣")	domainEnglishFormat.kif 18056-18056
(termFormat EnglishLanguage CurrencyCoin "currency coin")	domainEnglishFormat.kif 18055-18055

appearance as argument number 3

(partition Currency CurrencyBill CurrencyCoin)

Mid-level-ontology.kif 3518-3518

antecedent

(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))

Mid-level-ontology.kif 3533-3538

consequent

(=>
    (attribute ?M CoinOperated)
    (hasPurpose ?M
        (exists (?C ?FT ?A ?ACT)
            (and
                (instance ?C CurrencyCoin)
                (instance ?FT FinancialTransaction)
                (destination ?FT ?M)
                (patient ?FT ?C)
                (origin ?FT ?A)
                (causes ?FT ?ACT)
                (wants ?A ?ACT)))))

Mid-level-ontology.kif 25708-25719

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

KB Term:			Term intersection

English Word: