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


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