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 255-261
(subclass Meat SelfConnectedObject) Merge.kif 14179-14179
(subclass Beef Meat) Mid-level-ontology.kif 18477-18477
(subclass ChickenMeat Meat) Mid-level-ontology.kif 18482-18482
(subclass Pork Meat) Mid-level-ontology.kif 18484-18484
(subclass Seafood Meat) Food.kif 267-267
(subclass PoultryMeat Meat) Food.kif 374-374
(subclass GoatMeat Meat) Food.kif 580-580
(subclass Mutton Meat) Economy.kif 4268-4268
(subclass Veal Meat) Economy.kif 4269-4269
(subclass LambMeat Meat) Economy.kif 4270-4270
(subclass TurkeyMeat Meat) Economy.kif 4271-4271
(subclass WaterBuffaloMeat Meat) Economy.kif 4272-4272


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