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	エンティティーは肉の instance では %n 肉は Seafood の subclass では %n 物エンティティーEA and 動物 meatOfAnimal 肉 and 動物物は動物の instance では %n エンティティーEA は BodyOfWater の instance では %n 物はエンティティーEA に lives %n{ない}
(equal (FitForMilitaryServiceMaleFn ?AREA) (CardinalityFn (KappaFn ?PERSON (and (instance ?PERSON Human) (attribute ?PERSON Male) (subclass ?PROCESS MilitaryProcess) (fitForMilitaryService ?PERSON ?PROCESS) (militaryAge ?AREA ?MILITARYAGE) (age ?PERSON ?AGE) (greaterThanOrEqualTo ?AGE ?MILITARYAGE) (inhabits ?PERSON ?AREA)))))	Military.kif 895-906	FitForMilitaryServiceMaleFn 地政学的地域はエンティティー class の instances の数と equal では %n