Sigma KB Term Intersection

(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty))	Government.kif 2324-2329	Wenn ContentBearingObject ist eine teilkategorie von PartyPlatform und AutonomousAgent ist der schreiber von ContentBearingObject und AutonomousAgent ist ein fall von Organization %n{nicht}, dann AutonomousAgent ist ein fall von PoliticalParty %n{nicht}
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P))	Government.kif 2331-2338	Wenn ContentBearingObject ist eine teilkategorie von PartyPlatform und CognitiveAgent ist der schreiber von ContentBearingObject und CognitiveAgent ist ein fall von PoliticalParty %n{nicht} und ContentBearingPhysical ist ein fall von ContentBearingObject %n{nicht} und containsFormula ContentBearingPhysical and Formula, dann CognitiveAgent glaubt %n{nicht}, dass Formula
(subclass PoliticalParty PoliticalOrganization)	Government.kif 2250-2250	PoliticalParty ist eine teilkategorie von PoliticalOrganization
(subclass PoliticalCoalition PoliticalParty)	Government.kif 2244-2244	PoliticalCoalition ist eine teilkategorie von PoliticalParty
(subclass CommunistParty PoliticalParty)	Government.kif 2260-2260	CommunistParty ist eine teilkategorie von PoliticalParty