Sigma KB Term Intersection

(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O ?ORG) (subclass ?ORG Organism)) (exists (?PART) (and (instance ?P (DeadFn ?PART)) (initialPart ?PART ?ORG))))	Geography.kif 6425-6434	如果实体是 SheddingPart 的 instance 和那个实体另一个实体 and 第三实体和那个另外实体是那个另外实体RG 的 instance 和那个另外实体RG 是生物的 subclass，然后有存在那个第三实体ART 这样那个第三实体是一个 dead 那个第三实体ART 的 instance 和 %每个那个第三实体ART 是那个另外实体RG 的 initially part
(subclass SheddingPart BinaryPredicate)	Geography.kif 6406-6406	SheddingPart 是二元谓语的 subclass