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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(subclass BaseballField SportsFacility) Sports.kif 673-673
(subclass BowlingFacility SportsFacility) Sports.kif 1157-1157
(subclass BoxingRing SportsFacility) Sports.kif 590-590
(subclass ExerciseCenter SportsFacility) Mid-level-ontology.kif 26796-26796
(subclass GolfCourse SportsFacility) Sports.kif 918-918
(subclass GolfFacility SportsFacility) Sports.kif 903-903
(subclass IceSkatingRink SportsFacility) Sports.kif 580-580
(subclass RacquetballCourt SportsFacility) Sports.kif 1323-1323
(subclass SkiingFacility SportsFacility) Sports.kif 1089-1089
(subclass TennisCourt SportsFacility) Sports.kif 875-875
(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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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