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 CurrencyCoin e' uma sub-classe de Currency

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


(subclass AfghanAfghaniCoin CurrencyCoin) Economy.kif 2907-2907 AfghanAfghaniCoin e' uma sub-classe de CurrencyCoin
(subclass BritishPoundCoin CurrencyCoin) Economy.kif 2909-2909 BritishPoundCoin e' uma sub-classe de CurrencyCoin
(subclass CanadianDollarCoin CurrencyCoin) Economy.kif 2911-2911 CanadianDollarCoin e' uma sub-classe de CurrencyCoin
(subclass EuroCentCoin CurrencyCoin) Economy.kif 2913-2913 EuroCentCoin e' uma sub-classe de CurrencyCoin
(subclass EuroDollarCoin CurrencyCoin) Economy.kif 2915-2915 EuroDollarCoin e' uma sub-classe de CurrencyCoin
(subclass FrenchFrancCoin CurrencyCoin) Economy.kif 2917-2917 FrenchFrancCoin e' uma sub-classe de CurrencyCoin
(subclass GermanMarkCoin CurrencyCoin) Economy.kif 2919-2919 GermanMarkCoin e' uma sub-classe de CurrencyCoin
(subclass ItalianLiraCoin CurrencyCoin) Economy.kif 2921-2921 ItalianLiraCoin e' uma sub-classe de CurrencyCoin
(subclass JapaneseYenCoin CurrencyCoin) Economy.kif 2923-2923 JapaneseYenCoin e' uma sub-classe de CurrencyCoin
(subclass TajikSomoniCoin CurrencyCoin) Economy.kif 2925-2925 TajikSomoniCoin e' uma sub-classe de CurrencyCoin
(subclass UnitedStatesCentCoin CurrencyCoin) Economy.kif 2928-2928 UnitedStatesCentCoin e' uma sub-classe de CurrencyCoin
(subclass UnitedStatesFiveCentCoin CurrencyCoin) Economy.kif 2931-2931 UnitedStatesFiveCentCoin e' uma sub-classe de CurrencyCoin
(subclass UnitedStatesQuarterCoin CurrencyCoin) Economy.kif 2937-2937 UnitedStatesQuarterCoin e' uma sub-classe de CurrencyCoin
(subclass UnitedStatesTenCentCoin CurrencyCoin) Economy.kif 2934-2934 UnitedStatesTenCentCoin e' uma sub-classe de CurrencyCoin
(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 O conceito Currency e' completamente decomposto em CurrencyBill + CurrencyCoin

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