| (=> (and (instance ?S ?C) (subclass ?C Seafood)) (exists (?X ?SEA ?ANIMAL) (and (meatOfAnimal ?C ?ANIMAL) (instance ?X ?ANIMAL) (instance ?SEA BodyOfWater) (inhabits ?X ?SEA)))) |
Food.kif 1928-1937 | |
| (subclass BodyOfWater WaterArea) | Geography.kif 4491-4491 | BodyOfWater est une sous-classe de plan d'eau |
| (subclass BodyOfWater SelfConnectedObject) | Geography.kif 4492-4492 | BodyOfWater est une sous-classe de objet en une partie |
| (subclass Ocean BodyOfWater) | Geography.kif 4513-4513 | Ocean est une sous-classe de BodyOfWater |
| (subclass Sea BodyOfWater) | Geography.kif 4758-4758 | Sea est une sous-classe de BodyOfWater |
| (subclass LandlockedWater BodyOfWater) | Geography.kif 5078-5078 | LandlockedWater est une sous-classe de BodyOfWater |
| (subclass Gulf BodyOfWater) | Geography.kif 5122-5122 | Gulf est une sous-classe de BodyOfWater |
| (subclass Estuary BodyOfWater) | Geography.kif 5179-5179 | Estuary est une sous-classe de BodyOfWater |
| (subclass Inlet BodyOfWater) | Geography.kif 5218-5218 | Inlet est une sous-classe de BodyOfWater |
| (subclass Sound BodyOfWater) | Geography.kif 5278-5278 | Sound est une sous-classe de BodyOfWater |
| (subclass Strait BodyOfWater) | Geography.kif 5292-5292 | Strait est une sous-classe de BodyOfWater |
| (subclass Channel BodyOfWater) | Geography.kif 5316-5316 | Channel est une sous-classe de BodyOfWater |
| (subclass River BodyOfWater) | Geography.kif 5474-5474 | River est une sous-classe de BodyOfWater |
| (subclass Creek BodyOfWater) | Geography.kif 5672-5672 | Creek est une sous-classe de BodyOfWater |
|
|