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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SportsAttribute
SportsAttribute(sports attribute)

appearance as argument number 1
-------------------------


(documentation SportsAttribute EnglishLanguage "Any GameAttribute that is specific to a Sport.") Mid-level-ontology.kif 19539-19540
(externalImage SportsAttribute "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Bruno_Senna_2006_Australian_Grand_Prix.jpg") pictureList.kif 8730-8730
(externalImage SportsAttribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Gymnasta.jpg") pictureList.kif 9682-9682
(externalImage SportsAttribute "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Three_point_shoot.JPG") pictureList.kif 9683-9683
(subclass SportsAttribute GameAttribute) Mid-level-ontology.kif 19538-19538 Sports attribute is a subclass of game attribute

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


(instance BaseballStrikeAttribute SportsAttribute) Sports.kif 744-744 Baseball strike attribute is an instance of sports attribute
(instance Foul SportsAttribute) Mid-level-ontology.kif 19554-19554 Foul is an instance of sports attribute
(instance SportsOut SportsAttribute) Mid-level-ontology.kif 19559-19559 Sports out is an instance of sports attribute
(termFormat ChineseLanguage SportsAttribute "体育属性") domainEnglishFormat.kif 54740-54740
(termFormat ChineseTraditionalLanguage SportsAttribute "體育屬性") domainEnglishFormat.kif 54739-54739
(termFormat EnglishLanguage SportsAttribute "sports attribute") domainEnglishFormat.kif 54738-54738

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


(=>
    (and
        (property ?THING ?ATTR)
        (instance ?ATTR SportsAttribute))
    (exists (?SPORT)
        (and
            (instance ?SPORT Game)
            (or
                (agent ?SPORT ?THING)
                (patient ?SPORT ?THING)
                (subProcess ?THING ?SPORT)))))
Mid-level-ontology.kif 19542-19552


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