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


KB Term:  Term intersection
English Word: 

Sigma KEE - GameGoal
GameGoal(game goal)goal

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


(subclass GameGoal GameArtifact) Mid-level-ontology.kif 18665-18665 Game goal is a subclass of game artifact
(documentation GameGoal EnglishLanguage "The location where a GameShot must end up if it is to constitute a Score.") Mid-level-ontology.kif 18666-18667 Game goal is a subclass of game artifact
(defaultMinimumHeight GameGoal
    (MeasureFn 4 FootLength))		 DimensioningAmenities.kif 876-876 The minimum expected height of game goal is 4 foot length(s)
(defaultMaximumHeight GameGoal
    (MeasureFn 8 FootLength))		 DimensioningAmenities.kif 877-877 The maximum expected height of game goal is 8 foot length(s)
(defaultMinimumWidth GameGoal
    (MeasureFn 3 FootLength))		 DimensioningAmenities.kif 878-878 The minimum expected width of game goal is 3 foot length(s)
(defaultMaximumWidth GameGoal
    (MeasureFn 6 FootLength))		 DimensioningAmenities.kif 879-879 The maximum expected width of game goal is 6 foot length(s)
(defaultMinimumLength GameGoal
    (MeasureFn 6 FootLength))		 DimensioningAmenities.kif 880-880 The minimum expected length of game goal is 6 foot length(s)
(defaultMaximumLength GameGoal
    (MeasureFn 24 FootLength))		 DimensioningAmenities.kif 881-881 The maximum expected length of game goal is 24 foot length(s)
(defaultMinimumMeasure GameGoal
    (MeasureFn 30 PoundMass))		 DimensioningAmenities.kif 882-882 The minimum expected value of game goal is 30 pound mass(s)
(defaultMaximumMeasure GameGoal
    (MeasureFn 200 PoundMass))		 DimensioningAmenities.kif 883-883 The maximum expected value of game goal is 200 pound mass(s)

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


(termFormat EnglishLanguage GameGoal "game goal") domainEnglishFormat.kif 25462-25462
(termFormat ChineseTraditionalLanguage GameGoal "遊戲目標") domainEnglishFormat.kif 25463-25463
(termFormat ChineseLanguage GameGoal "游戏目标") domainEnglishFormat.kif 25464-25464

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


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