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 7006-7008
(subclass SportsFacility StationaryArtifact) Mid-level-ontology.kif 7005-7005

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 26751-26751
(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 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 7010-7016


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