SportsFacility - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SportsFacility EnglishLanguage "A specially designated and maintained facility where Sports are played. Note that this covers sports fields, stadiums, and gymnasiums.")	Mid-level-ontology.kif 7007-7009
(subclass SportsFacility StationaryArtifact)	Mid-level-ontology.kif 7006-7006	SportsFacility は固定アーチファクトの subclass では %n

appearance as argument number 2

(subclass BaseballField SportsFacility)	Sports.kif 673-673	BaseballField は SportsFacility の subclass では %n
(subclass BowlingFacility SportsFacility)	Sports.kif 1156-1156	BowlingFacility は SportsFacility の subclass では %n
(subclass BoxingRing SportsFacility)	Sports.kif 590-590	BoxingRing は SportsFacility の subclass では %n
(subclass ExerciseCenter SportsFacility)	Mid-level-ontology.kif 26763-26763	ExerciseCenter は SportsFacility の subclass では %n
(subclass GolfCourse SportsFacility)	Sports.kif 918-918	GolfCourse は SportsFacility の subclass では %n
(subclass GolfFacility SportsFacility)	Sports.kif 903-903	GolfFacility は SportsFacility の subclass では %n
(subclass IceSkatingRink SportsFacility)	Sports.kif 580-580	IceSkatingRink は SportsFacility の subclass では %n
(subclass RacquetballCourt SportsFacility)	Sports.kif 1322-1322	RacquetballCourt は SportsFacility の subclass では %n
(subclass SkiingFacility SportsFacility)	Sports.kif 1088-1088	SkiingFacility は SportsFacility の subclass では %n
(subclass TennisCourt SportsFacility)	Sports.kif 875-875	TennisCourt は SportsFacility の subclass では %n
(termFormat ChineseLanguage SportsFacility "体育设施")	domainEnglishFormat.kif 54750-54750
(termFormat ChineseTraditionalLanguage SportsFacility "體育設施")	domainEnglishFormat.kif 54749-54749
(termFormat EnglishLanguage SportsFacility "sports facility")	domainEnglishFormat.kif 54748-54748

antecedent

(=>
    (instance ?G SportsFacility)
    (hasPurpose ?G
        (exists (?S)
            (and
                (instance ?S Sport)
                (eventLocated ?S ?G)))))

Mid-level-ontology.kif 7011-7017