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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CurrencyCoin

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

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


(subclass AfghanAfghaniCoin CurrencyCoin) Economy.kif 2907-2907
(subclass BritishPoundCoin CurrencyCoin) Economy.kif 2909-2909
(subclass CanadianDollarCoin CurrencyCoin) Economy.kif 2911-2911
(subclass EuroCentCoin CurrencyCoin) Economy.kif 2913-2913
(subclass EuroDollarCoin CurrencyCoin) Economy.kif 2915-2915
(subclass FrenchFrancCoin CurrencyCoin) Economy.kif 2917-2917
(subclass GermanMarkCoin CurrencyCoin) Economy.kif 2919-2919
(subclass ItalianLiraCoin CurrencyCoin) Economy.kif 2921-2921
(subclass JapaneseYenCoin CurrencyCoin) Economy.kif 2923-2923
(subclass TajikSomoniCoin CurrencyCoin) Economy.kif 2925-2925
(subclass UnitedStatesCentCoin CurrencyCoin) Economy.kif 2928-2928
(subclass UnitedStatesFiveCentCoin CurrencyCoin) Economy.kif 2931-2931
(subclass UnitedStatesQuarterCoin CurrencyCoin) Economy.kif 2937-2937
(subclass UnitedStatesTenCentCoin CurrencyCoin) Economy.kif 2934-2934
(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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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