Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SportsFacility

Sigma KEE - SportsFacility
SportsFacility(sports facility)ballpark, park, squash_court, volleyball_court, wrestling_ring

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 6671-6673
(subclass SportsFacility StationaryArtifact) Mid-level-ontology.kif 6670-6670 Sports facility is a subclass of stationary artifact

appearance as argument number 2
-------------------------


(subclass BaseballField SportsFacility) Sports.kif 604-604 Baseball field is a subclass of sports facility
(subclass BowlingFacility SportsFacility) Sports.kif 1084-1084 Bowling facility is a subclass of sports facility
(subclass BoxingRing SportsFacility) Sports.kif 521-521 BoxingRing is a subclass of sports facility
(subclass ExerciseCenter SportsFacility) Mid-level-ontology.kif 26135-26135 Exercise center is a subclass of sports facility
(subclass GolfCourse SportsFacility) Sports.kif 845-845 Golf course is a subclass of sports facility
(subclass GolfFacility SportsFacility) Sports.kif 830-830 Golf facility is a subclass of sports facility
(subclass IceSkatingRink SportsFacility) Sports.kif 511-511 IceSkatingRink is a subclass of sports facility
(subclass RacquetballCourt SportsFacility) Sports.kif 1250-1250 Racquetball court is a subclass of sports facility
(subclass SkiingFacility SportsFacility) Sports.kif 1016-1016 Skiing facility is a subclass of sports facility
(subclass TennisCourt SportsFacility) Sports.kif 802-802 Tennis court is a subclass of sports facility
(termFormat ChineseLanguage SportsFacility "体育设施") domainEnglishFormat.kif 54729-54729
(termFormat ChineseTraditionalLanguage SportsFacility "體育設施") domainEnglishFormat.kif 54728-54728
(termFormat EnglishLanguage SportsFacility "sports facility") domainEnglishFormat.kif 54727-54727

antecedent
-------------------------


(=>
    (instance ?G SportsFacility)
    (hasPurpose ?G
        (exists (?S)
            (and
                (instance ?S Sport)
                (eventLocated ?S ?G)))))
Mid-level-ontology.kif 6675-6681


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners