(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY Organization)) (instance ?PARTY PoliticalParty)) |
Government.kif 2288-2293 |
|
(=> (and (subclass ?PLATFORM PartyPlatform) (authors ?PARTY ?PLATFORM) (instance ?PARTY PoliticalParty) (instance ?INST ?PLATFORM) (containsFormula ?INST ?P)) (believes ?PARTY ?P)) |
Government.kif 2295-2302 | |
(subclass PartyPlatform FactualText) | Government.kif 2283-2283 | PartyPlatform è una sottoclasse di FactualText |