| Score
| |
| appearance as argument number 1 |
|
|
| (documentation Score EnglishLanguage "A successful attempt to score a point in a Game.") | Mid-level-ontology.kif 17263-17263 | |
| (externalImage Score "http://upload.wikimedia.org/wikipedia/commons/6/60/ Final_Score_Andy_Roddick_vs_Saulnier.jpg") | pictureList.kif 1970-1970 | |
| (subclass Score GameShot) | Mid-level-ontology.kif 17262-17262 |
| appearance as argument number 2 |
|
|
| (subclass BaseballRun Score) | Sports.kif 703-703 | |
| (subclass FootballTouchdown Score) | Sports.kif 847-847 | |
| (termFormat ChineseLanguage Score "得分") | domainEnglishFormat.kif 51632-51632 | |
| (termFormat ChineseTraditionalLanguage Score "得分") | domainEnglishFormat.kif 51631-51631 | |
| (termFormat EnglishLanguage Score "score") | domainEnglishFormat.kif 51630-51630 |
| 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 17269-17281 |
| consequent |
|
|
| (=> (instance ?SHOT GameShot) (hasPurpose ?SHOT (instance ?SHOT Score))) |
Mid-level-ontology.kif 17258-17260 | |
| (=> (plays ?G ?A) (desires ?A (and (instance ?S Score) (subProcess ?S ?G) (agent ?S ?A)))) |
ComputingBrands.kif 1710-1716 |
|
|
|