Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))		 Mid-level-ontology.kif 3600-3605
(subclass CurrencyCoin Currency) Mid-level-ontology.kif 3596-3596 子類 貨幣硬幣 and 貨幣
(subclass AfghanAfghaniCoin CurrencyCoin) Economy.kif 2907-2907 子類 阿富汗阿富汗硬幣 and 貨幣硬幣
(subclass BritishPoundCoin CurrencyCoin) Economy.kif 2909-2909 子類 英鎊硬幣 and 貨幣硬幣
(subclass CanadianDollarCoin CurrencyCoin) Economy.kif 2911-2911 子類 加拿大元硬幣 and 貨幣硬幣
(subclass EuroCentCoin CurrencyCoin) Economy.kif 2913-2913 子類 歐元硬幣 and 貨幣硬幣
(subclass EuroDollarCoin CurrencyCoin) Economy.kif 2915-2915 子類 歐元硬幣 and 貨幣硬幣
(subclass FrenchFrancCoin CurrencyCoin) Economy.kif 2917-2917 子類 法郎硬幣 and 貨幣硬幣
(subclass GermanMarkCoin CurrencyCoin) Economy.kif 2919-2919 子類 德國馬克硬幣 and 貨幣硬幣
(subclass ItalianLiraCoin CurrencyCoin) Economy.kif 2921-2921 子類 意大利里拉硬幣 and 貨幣硬幣
(subclass JapaneseYenCoin CurrencyCoin) Economy.kif 2923-2923 子類 日元硬幣 and 貨幣硬幣
(subclass TajikSomoniCoin CurrencyCoin) Economy.kif 2925-2925 子類 塔吉克索莫尼硬幣 and 貨幣硬幣
(subclass UnitedStatesCentCoin CurrencyCoin) Economy.kif 2928-2928 子類 美國分硬幣 and 貨幣硬幣
(subclass UnitedStatesFiveCentCoin CurrencyCoin) Economy.kif 2931-2931 子類 美國五美分硬幣 and 貨幣硬幣
(subclass UnitedStatesTenCentCoin CurrencyCoin) Economy.kif 2934-2934 子類 美國十美分硬幣 and 貨幣硬幣
(subclass UnitedStatesQuarterCoin CurrencyCoin) Economy.kif 2937-2937 子類 美國四分之一硬幣 and 貨幣硬幣


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