Sigma KB Term Intersection

(=> (instance ?INDUSTRY Industry) (exists (?MEMB1 ?MEMB2 ?CLASS) (and (member ?MEMB1 ?INDUSTRY) (member ?MEMB2 ?INDUSTRY) (subclass ?CLASS Corporation) (immediateInstance ?MEMB1 ?CLASS) (immediateInstance ?MEMB2 ?CLASS))))	Mid-level-ontology.kif 15016-15024	コレクションは Industry の instance では %n 物理物理 and クラス物理はコレクションの member では %n 物理はコレクションの member では %n クラスは法人の subclass では %n 物理はクラスの immediate のインスタンスでは %n 物理はクラスの immediate のインスタンスでは %n
(subclass Industry Collection)	Mid-level-ontology.kif 15010-15010	Industry はコレクションの subclass では %n