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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SportsFacility

Sigma KEE - SportsFacility
SportsFacility(体育设施)

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 7034-7036
(subclass SportsFacility StationaryArtifact) Mid-level-ontology.kif 7033-7033 体育设施固定人工制品subclass

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


(subclass BaseballField SportsFacility) Sports.kif 673-673 棒球场体育设施subclass
(subclass BowlingFacility SportsFacility) Sports.kif 1157-1157 BowlingFacility体育设施subclass
(subclass BoxingRing SportsFacility) Sports.kif 590-590 BoxingRing体育设施subclass
(subclass ExerciseCenter SportsFacility) Mid-level-ontology.kif 26796-26796 ExerciseCenter体育设施subclass
(subclass GolfCourse SportsFacility) Sports.kif 918-918 GolfCourse体育设施subclass
(subclass GolfFacility SportsFacility) Sports.kif 903-903 GolfFacility体育设施subclass
(subclass IceSkatingRink SportsFacility) Sports.kif 580-580 IceSkatingRink体育设施subclass
(subclass RacquetballCourt SportsFacility) Sports.kif 1323-1323 RacquetballCourt体育设施subclass
(subclass SkiingFacility SportsFacility) Sports.kif 1089-1089 SkiingFacility体育设施subclass
(subclass TennisCourt SportsFacility) Sports.kif 875-875 TennisCourt体育设施subclass
(termFormat ChineseLanguage SportsFacility "体育设施") domainEnglishFormat.kif 54752-54752
(termFormat ChineseTraditionalLanguage SportsFacility "體育設施") domainEnglishFormat.kif 54751-54751
(termFormat EnglishLanguage SportsFacility "sports facility") domainEnglishFormat.kif 54750-54750

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


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


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