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

Formal Language: 

Term 1: Term 2:

        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA)
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 274-283
    (instance ?S Seafood)
    (exists (?DA ?F)
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 819-825
(subclass Seafood Meat) Food.kif 267-267 Seafood is a subclass of meat
(subclass FishMeat Seafood) Food.kif 285-285 Fish meat is a subclass of seafood
(subclass Shellfish Seafood) Food.kif 292-292 Shellfish is a subclass of seafood
(subclass MolluskMeat Seafood) Food.kif 328-328 Mollusk is a subclass of seafood

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