TreeView Knowledge Base Browser

appearance as argument number 1

(subclass VotingPoll StationaryArtifact)	Mid-level-ontology.kif 8113-8113	Voting poll is a subclass of stationary artifact
(documentation VotingPoll EnglishLanguage "A structure where Voting for an Election takes place.")	Mid-level-ontology.kif 8114-8115	Voting poll is a subclass of stationary artifact

appearance as argument number 2

(termFormat EnglishLanguage VotingPoll "voting poll")	domainEnglishFormat.kif 61996-61996
(termFormat ChineseTraditionalLanguage VotingPoll "投票調查")	domainEnglishFormat.kif 61997-61997
(termFormat ChineseLanguage VotingPoll "投票调查")	domainEnglishFormat.kif 61998-61998

antecedent

(=>
    (instance ?P VotingPoll)
    (exists (?V)
        (and
            (instance ?V Voting)
            (eventLocated ?V ?P))))

If X is an instance of voting poll, then there exists Y such that Y is an instance of voting and Y is located at X