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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Score
Score

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


(documentation Score EnglishLanguage "A successful attempt to score a point in a Game.") Mid-level-ontology.kif 13652-13652
(externalImage Score "http://upload.wikimedia.org/wikipedia/commons/6/60/ Final_Score_Andy_Roddick_vs_Saulnier.jpg") pictureList.kif 1972-1972
(subclass Score GameShot) Mid-level-ontology.kif 13651-13651

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


(subclass BaseballRun Score) Sports.kif 589-589
(subclass FootballTouchdown Score) Sports.kif 698-698
(termFormat ChineseLanguage Score "得分") domainEnglishFormat.kif 51579-51579
(termFormat ChineseTraditionalLanguage Score "得分") domainEnglishFormat.kif 51578-51578
(termFormat EnglishLanguage Score "score") domainEnglishFormat.kif 51577-51577

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


(=>
    (and
        (instance ?GOAL GameGoal)
        (instrument ?GAME ?GOAL)
        (instance ?GAME Game)
        (subProcess ?SCORE ?GAME)
        (instance ?SCORE Score))
    (exists (?PIECE ?TIME)
        (and
            (instance ?PIECE GamePiece)
            (patient ?SCORE ?PIECE)
            (temporalPart ?TIME
                (WhenFn ?SCORE))
            (holdsDuring ?TIME
                (located ?PIECE ?GOAL)))))
Mid-level-ontology.kif 13658-13670

consequent
-------------------------


(=>
    (instance ?SHOT GameShot)
    (hasPurpose ?SHOT
        (instance ?SHOT Score)))
Mid-level-ontology.kif 13647-13649
(=>
    (plays ?G ?A)
    (desires ?A
        (and
            (instance ?S Score)
            (subProcess ?S ?G)
            (agent ?S ?A))))
ComputingBrands.kif 1679-1685


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