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 7007-7009
(subclass SportsFacility StationaryArtifact) Mid-level-ontology.kif 7006-7006 SportsFacility ist eine teilkategorie von StationaryArtifact

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


(subclass BaseballField SportsFacility) Sports.kif 673-673 BaseballField ist eine teilkategorie von SportsFacility
(subclass BowlingFacility SportsFacility) Sports.kif 1156-1156 BowlingFacility ist eine teilkategorie von SportsFacility
(subclass BoxingRing SportsFacility) Sports.kif 590-590 BoxingRing ist eine teilkategorie von SportsFacility
(subclass ExerciseCenter SportsFacility) Mid-level-ontology.kif 26763-26763 ExerciseCenter ist eine teilkategorie von SportsFacility
(subclass GolfCourse SportsFacility) Sports.kif 918-918 GolfCourse ist eine teilkategorie von SportsFacility
(subclass GolfFacility SportsFacility) Sports.kif 903-903 GolfFacility ist eine teilkategorie von SportsFacility
(subclass IceSkatingRink SportsFacility) Sports.kif 580-580 IceSkatingRink ist eine teilkategorie von SportsFacility
(subclass RacquetballCourt SportsFacility) Sports.kif 1322-1322 RacquetballCourt ist eine teilkategorie von SportsFacility
(subclass SkiingFacility SportsFacility) Sports.kif 1088-1088 SkiingFacility ist eine teilkategorie von SportsFacility
(subclass TennisCourt SportsFacility) Sports.kif 875-875 TennisCourt ist eine teilkategorie von SportsFacility
(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


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