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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CurrencyCoin
CurrencyCoin

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


(documentation CurrencyCoin EnglishLanguage "Any instance of Currency that is made of Metal.") Mid-level-ontology.kif 4134-4135
(subclass CurrencyCoin Currency) Mid-level-ontology.kif 4133-4133 subclass CurrencyCoin and Currency

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


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

appearance as argument number 3
-------------------------


(partition Currency CurrencyBill CurrencyCoin) Mid-level-ontology.kif 4122-4122 partition Currency, CurrencyBill and CurrencyCoin

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


(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))		 Mid-level-ontology.kif 4137-4142

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 27674-27685


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