Sigma KB Term Intersection

(=> (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	Wenn Entity ist ein fall von Meat %n{nicht} und Meat ist eine teilkategorie von Seafood, dann es gibt Organism, EntityEA, and und Animal um meatOfAnimal Meat and Animal und Organism ist ein fall von Animal %n{nicht} und EntityEA ist ein fall von BodyOfWater %n{nicht} und Organism wohnt in ** EntityEA
(subclass BodyOfWater WaterArea)	Geography.kif 4491-4491	BodyOfWater ist eine teilkategorie von WaterArea
(subclass BodyOfWater SelfConnectedObject)	Geography.kif 4492-4492	BodyOfWater ist eine teilkategorie von SelfConnectedObject
(subclass Ocean BodyOfWater)	Geography.kif 4513-4513	Ocean ist eine teilkategorie von BodyOfWater
(subclass Sea BodyOfWater)	Geography.kif 4758-4758	Sea ist eine teilkategorie von BodyOfWater
(subclass LandlockedWater BodyOfWater)	Geography.kif 5078-5078	LandlockedWater ist eine teilkategorie von BodyOfWater
(subclass Gulf BodyOfWater)	Geography.kif 5122-5122	Gulf ist eine teilkategorie von BodyOfWater
(subclass Estuary BodyOfWater)	Geography.kif 5179-5179	Estuary ist eine teilkategorie von BodyOfWater
(subclass Inlet BodyOfWater)	Geography.kif 5218-5218	Inlet ist eine teilkategorie von BodyOfWater
(subclass Sound BodyOfWater)	Geography.kif 5278-5278	Sound ist eine teilkategorie von BodyOfWater
(subclass Strait BodyOfWater)	Geography.kif 5292-5292	Strait ist eine teilkategorie von BodyOfWater
(subclass Channel BodyOfWater)	Geography.kif 5316-5316	Channel ist eine teilkategorie von BodyOfWater
(subclass River BodyOfWater)	Geography.kif 5474-5474	River ist eine teilkategorie von BodyOfWater
(subclass Creek BodyOfWater)	Geography.kif 5672-5672	Creek ist eine teilkategorie von BodyOfWater

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