BaseballDugout - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BaseballDugout Building)	Sports.kif 674-674	Baseball dugout is a subclass of building
(documentation BaseballDugout EnglishLanguage "A Building which is used to house the members of both Baseball teams while a game is being played.")	Sports.kif 675-676	Baseball dugout is a subclass of building
(externalImage BaseballDugout "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Dugout_baseball.jpg")	pictureList.kif 1652-1652	Baseball dugout is a subclass of building

appearance as argument number 2

(termFormat EnglishLanguage BaseballDugout "baseball dugout")	domainEnglishFormat.kif 10030-10030
(termFormat ChineseTraditionalLanguage BaseballDugout "棒球獨木舟")	domainEnglishFormat.kif 10031-10031
(termFormat ChineseLanguage BaseballDugout "棒球独木舟")	domainEnglishFormat.kif 10032-10032

antecedent

(=>
    (instance ?D BaseballDugout)
    (exists (?F)
        (and
            (instance ?F BaseballField)
            (located ?D ?F))))

If X is an instance of baseball dugout, then there exists Y such that Y is an instance of baseball field and X is located at Y