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 256-265
(subclass BodyOfWater WaterArea) Geography.kif 4390-4390 Body of water is a subclass of water area
(subclass BodyOfWater SelfConnectedObject) Geography.kif 4391-4391 Body of water is a subclass of self connected object
(subclass Ocean BodyOfWater) Geography.kif 4412-4412 Ocean is a subclass of body of water
(subclass Sea BodyOfWater) Geography.kif 4656-4656 Sea is a subclass of body of water
(subclass LandlockedWater BodyOfWater) Geography.kif 4976-4976 Landlocked water is a subclass of body of water
(subclass Gulf BodyOfWater) Geography.kif 5020-5020 Gulf is a subclass of body of water
(subclass Estuary BodyOfWater) Geography.kif 5077-5077 Estuary is a subclass of body of water
(subclass Inlet BodyOfWater) Geography.kif 5116-5116 Inlet is a subclass of body of water
(subclass Sound BodyOfWater) Geography.kif 5176-5176 Sound is a subclass of body of water
(subclass Strait BodyOfWater) Geography.kif 5190-5190 Strait is a subclass of body of water
(subclass Channel BodyOfWater) Geography.kif 5214-5214 Channel is a subclass of body of water
(subclass River BodyOfWater) Geography.kif 5372-5372 River is a subclass of body of water
(subclass Creek BodyOfWater) Geography.kif 5569-5569 Creek is a subclass of body of water


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