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 4040-4041
(subclass CurrencyCoin Currency) Mid-level-ontology.kif 4039-4039 CurrencyCoin は Currency の subclass では

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


(subclass AfghanAfghaniCoin CurrencyCoin) Economy.kif 3244-3244 AfghanAfghaniCoin は CurrencyCoin の subclass では
(subclass BritishPoundCoin CurrencyCoin) Economy.kif 3246-3246 BritishPoundCoin は CurrencyCoin の subclass では
(subclass CanadianDollarCoin CurrencyCoin) Economy.kif 3248-3248 CanadianDollarCoin は CurrencyCoin の subclass では
(subclass EuroCentCoin CurrencyCoin) Economy.kif 3250-3250 EuroCentCoin は CurrencyCoin の subclass では
(subclass EuroDollarCoin CurrencyCoin) Economy.kif 3252-3252 EuroDollarCoin は CurrencyCoin の subclass では
(subclass FrenchFrancCoin CurrencyCoin) Economy.kif 3254-3254 FrenchFrancCoin は CurrencyCoin の subclass では
(subclass GermanMarkCoin CurrencyCoin) Economy.kif 3256-3256 GermanMarkCoin は CurrencyCoin の subclass では
(subclass ItalianLiraCoin CurrencyCoin) Economy.kif 3258-3258 ItalianLiraCoin は CurrencyCoin の subclass では
(subclass JapaneseYenCoin CurrencyCoin) Economy.kif 3260-3260 JapaneseYenCoin は CurrencyCoin の subclass では
(subclass TajikSomoniCoin CurrencyCoin) Economy.kif 3262-3262 TajikSomoniCoin は CurrencyCoin の subclass では
(subclass UnitedStatesCentCoin CurrencyCoin) Economy.kif 3265-3265 UnitedStatesCentCoin は CurrencyCoin の subclass では
(subclass UnitedStatesFiveCentCoin CurrencyCoin) Economy.kif 3268-3268 UnitedStatesFiveCentCoin は CurrencyCoin の subclass では
(subclass UnitedStatesQuarterCoin CurrencyCoin) Economy.kif 3274-3274 UnitedStatesQuarterCoin は CurrencyCoin の subclass では
(subclass UnitedStatesTenCentCoin CurrencyCoin) Economy.kif 3271-3271 UnitedStatesTenCentCoin は CurrencyCoin の subclass では
(termFormat ChineseLanguage CurrencyCoin "货币硬币") domainEnglishFormat.kif 18075-18075 UnitedStatesTenCentCoin は CurrencyCoin の subclass では
(termFormat ChineseTraditionalLanguage CurrencyCoin "貨幣硬幣") domainEnglishFormat.kif 18074-18074 UnitedStatesTenCentCoin は CurrencyCoin の subclass では
(termFormat EnglishLanguage CurrencyCoin "coin") domainEnglishFormat.kif 18073-18073 UnitedStatesTenCentCoin は CurrencyCoin の subclass では

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


(partition Currency CurrencyBill CurrencyCoin) Mid-level-ontology.kif 4028-4028 Currency は CurrencyBill + CurrencyCoin に exhaustively partitioned

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


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

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 31393-31404


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