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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?S ?C)
        (subclass ?C Seafood))
    (exists (?X ?SEA)
        (and
            (meatOfAnimal ?C ?ANIMAL)
            (instance ?X ?ANIMAL)
            (instance ?SEA BodyOfWater)
            (inhabits ?X ?SEA))))
Food.kif 274-283
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (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