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

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))		 Economy.kif 4365-4372
(subclass Spice PreparedFood) Economy.kif 4359-4359 Spice は PreparedFood の subclass では %n
(subclass Spice FoodFromPlant) Economy.kif 4360-4360 Spice は FoodFromPlant の subclass では %n
(subclass Turmeric Spice) Food.kif 3520-3520 Turmeric は Spice の subclass では %n
(subclass Vanilla Spice) Economy.kif 4455-4455 Vanilla は Spice の subclass では %n
(subclass Clove Spice) Economy.kif 4456-4456 Clove は Spice の subclass では %n
(subclass Nutmeg Spice) Economy.kif 4457-4457 Nutmeg は Spice の subclass では %n
(subclass Mace Spice) Economy.kif 4458-4458 Mace は Spice の subclass では %n
(subclass Cardamom Spice) Economy.kif 4459-4459 Cardamom は Spice の subclass では %n
(subclass BlackPepper Spice) Economy.kif 4460-4460 BlackPepper は Spice の subclass では %n
(subclass SpicePepper Spice) Economy.kif 4461-4461 SpicePepper は Spice の subclass では %n
(subclass Cinnamon Spice) Economy.kif 4462-4462 Cinnamon は Spice の subclass では %n
(subclass Ginger Spice) Economy.kif 4463-4463 Ginger は Spice の subclass では %n


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