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 3597-3598
(subclass CurrencyCoin Currency) Mid-level-ontology.kif 3596-3596 货币硬币 是 货币 的 subclass

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


(subclass AfghanAfghaniCoin CurrencyCoin) Economy.kif 2907-2907 阿富汗阿富汗硬币 是 货币硬币 的 subclass
(subclass BritishPoundCoin CurrencyCoin) Economy.kif 2909-2909 英镑硬币 是 货币硬币 的 subclass
(subclass CanadianDollarCoin CurrencyCoin) Economy.kif 2911-2911 加拿大元硬币 是 货币硬币 的 subclass
(subclass EuroCentCoin CurrencyCoin) Economy.kif 2913-2913 欧元硬币 是 货币硬币 的 subclass
(subclass EuroDollarCoin CurrencyCoin) Economy.kif 2915-2915 欧元硬币 是 货币硬币 的 subclass
(subclass FrenchFrancCoin CurrencyCoin) Economy.kif 2917-2917 法郎硬币 是 货币硬币 的 subclass
(subclass GermanMarkCoin CurrencyCoin) Economy.kif 2919-2919 德国马克硬币 是 货币硬币 的 subclass
(subclass ItalianLiraCoin CurrencyCoin) Economy.kif 2921-2921 意大利里拉硬币 是 货币硬币 的 subclass
(subclass JapaneseYenCoin CurrencyCoin) Economy.kif 2923-2923 日元硬币 是 货币硬币 的 subclass
(subclass TajikSomoniCoin CurrencyCoin) Economy.kif 2925-2925 塔吉克索莫尼硬币 是 货币硬币 的 subclass
(subclass UnitedStatesCentCoin CurrencyCoin) Economy.kif 2928-2928 美国分硬币 是 货币硬币 的 subclass
(subclass UnitedStatesFiveCentCoin CurrencyCoin) Economy.kif 2931-2931 美国五美分硬币 是 货币硬币 的 subclass
(subclass UnitedStatesQuarterCoin CurrencyCoin) Economy.kif 2937-2937 美国四分之一硬币 是 货币硬币 的 subclass
(subclass UnitedStatesTenCentCoin CurrencyCoin) Economy.kif 2934-2934 美国十美分硬币 是 货币硬币 的 subclass
(termFormat ChineseLanguage CurrencyCoin "货币硬币") domainEnglishFormat.kif 18066-18066
(termFormat ChineseTraditionalLanguage CurrencyCoin "貨幣硬幣") domainEnglishFormat.kif 18065-18065
(termFormat EnglishLanguage CurrencyCoin "coin") domainEnglishFormat.kif 18064-18064

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


(partition Currency CurrencyBill CurrencyCoin) Mid-level-ontology.kif 3585-3585 货币 详尽无遗地 partition 成 货币单 和 货币硬币

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


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

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 29474-29485


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