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

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))		 Food.kif 1909-1915
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))		 Economy.kif 4945-4950
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))		 Food.kif 1633-1639
(subclass Meat AnimalSubstance) Merge.kif 14876-14876 Carne è una sottoclasse di AnimalSubstance
(subclass Meat Food) Food.kif 291-291 Carne è una sottoclasse di Cibo
(subclass Beef Meat) Mid-level-ontology.kif 20367-20367 Beef è una sottoclasse di Carne
(subclass ChickenMeat Meat) Mid-level-ontology.kif 20372-20372 ChickenMeat è una sottoclasse di Carne
(subclass Pork Meat) Mid-level-ontology.kif 20374-20374 Pork è una sottoclasse di Carne
(subclass Egg Meat) Merge.kif 15026-15026 Egg è una sottoclasse di Carne
(subclass Seafood Meat) Food.kif 1921-1921 Seafood è una sottoclasse di Carne
(subclass PoultryMeat Meat) Food.kif 2028-2028 PoultryMeat è una sottoclasse di Carne
(subclass CuredMeat Meat) Food.kif 2126-2126 CuredMeat è una sottoclasse di Carne
(subclass GoatMeat Meat) Food.kif 2588-2588 GoatMeat è una sottoclasse di Carne
(subclass LambMeat Meat) Economy.kif 4952-4952 LambMeat è una sottoclasse di Carne
(subclass Mutton Meat) Economy.kif 4957-4957 Mutton è una sottoclasse di Carne
(subclass Veal Meat) Economy.kif 4970-4970 Veal è una sottoclasse di Carne
(subclass WaterBuffaloMeat Meat) Economy.kif 4975-4975 WaterBuffaloMeat è una sottoclasse di Carne


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