| Score(得分)
| |
| appearance as argument number 1 |
|
|
| (documentation Score EnglishLanguage "A successful attempt to score a point in a Game.") | Mid-level-ontology.kif 16488-16488 | |
| (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 16487-16487 | 得分 是 游戏镜头 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass BaseballRun Score) | Sports.kif 634-634 | 棒球跑 是 得分 的 subclass |
| (subclass FootballTouchdown Score) | Sports.kif 774-774 | 足球达阵 是 得分 的 subclass |
| (termFormat ChineseLanguage Score "得分") | domainEnglishFormat.kif 51580-51580 | |
| (termFormat ChineseTraditionalLanguage Score "得分") | domainEnglishFormat.kif 51579-51579 | |
| (termFormat EnglishLanguage Score "score") | domainEnglishFormat.kif 51578-51578 |
| 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 16494-16506 |
|
| consequent |
|
|
| (=> (instance ?SHOT GameShot) (hasPurpose ?SHOT (instance ?SHOT Score))) |
Mid-level-ontology.kif 16483-16485 | |
| (=> (plays ?G ?A) (desires ?A (and (instance ?S Score) (subProcess ?S ?G) (agent ?S ?A)))) |
ComputingBrands.kif 1678-1684 |
|
|
|