Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Score
Score(score)
bull's_eye, goal, hit, own_goal, slam-dunk

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


(subclass Score GameShot) Mid-level-ontology.kif 18662-18662 Score is a subclass of game shot
(documentation Score EnglishLanguage "A successful attempt to score a point in a Game.") Mid-level-ontology.kif 18663-18663 Score is a subclass of game shot
(externalImage Score "http://upload.wikimedia.org/wikipedia/commons/6/60/ Final_Score_Andy_Roddick_vs_Saulnier.jpg") pictureList.kif 1970-1970 Score is a subclass of game shot

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


(subclass BaseballRun Score) Sports.kif 729-729 Baseball run is a subclass of score
(subclass FootballTouchdown Score) Sports.kif 873-873 Football touchdown is a subclass of score
(termFormat EnglishLanguage Score "score") domainEnglishFormat.kif 51592-51592 Football touchdown is a subclass of score
(termFormat ChineseTraditionalLanguage Score "得分") domainEnglishFormat.kif 51593-51593 Football touchdown is a subclass of score
(termFormat ChineseLanguage Score "得分") domainEnglishFormat.kif 51594-51594 Football touchdown is a subclass of score

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 18669-18681 If X is an instance of game goal, X is an instrument for Y, Y is an instance of game, Z is a subprocess of Y, and Z is an instance of score, then there exist W, V such that W is an instance of game piece, W is a patient of Z, V is a part of the time of existence of Z, and W is located at X holds during V

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


(=>
    (instance ?SHOT GameShot)
    (hasPurpose ?SHOT
        (instance ?SHOT Score)))		 Mid-level-ontology.kif 18658-18660 If X is an instance of game shot, then X has the purpose X is an instance of score
(=>
    (plays ?G ?A)
    (desires ?A
        (and
            (instance ?S Score)
            (subProcess ?S ?G)
            (agent ?S ?A))))		 ComputingBrands.kif 1710-1716 If X plays Y, then X desires Z is an instance of score, Z is a subprocess of Y, and X is an agent of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners