| 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 |
|
|
|