Sigma KB Term Intersection

(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty))	Government.kif 2324-2329	如果有点有内用物体是党的平台的 subclass 和施事体是有点有内用物体的 authors 和那个施事体是机构的 instance，然后那个施事体是政治党派的 instance
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P))	Government.kif 2331-2338	如果有点有内用物体是党的平台的 subclass 和有认知的主事是有点有内用物体的 authors 和那个有认知的主事是政治党派的 instance 和内容承载物理是那个有点有内用物体的 instance 和 containsFormula 那个内容承载物理 and 公式，然后那个有认知的主事 believes 那个公式
(subclass PartyPlatform FactualText)	Government.kif 2319-2319	党的平台是事实文本的 subclass