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 CurrencyCoin è una sottoclasse di Currency

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


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


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