Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GameGoal
GameGoalgame_goal, goal

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


(defaultMaximumHeight GameGoal
    (MeasureFn 8 FootLength))
DimensioningAmenities.kif 875-875
(defaultMaximumLength GameGoal
    (MeasureFn 24 FootLength))
DimensioningAmenities.kif 879-879
(defaultMaximumMeasure GameGoal
    (MeasureFn 200 PoundMass))
DimensioningAmenities.kif 881-881
(defaultMaximumWidth GameGoal
    (MeasureFn 6 FootLength))
DimensioningAmenities.kif 877-877
(defaultMinimumHeight GameGoal
    (MeasureFn 4 FootLength))
DimensioningAmenities.kif 874-874
(defaultMinimumLength GameGoal
    (MeasureFn 6 FootLength))
DimensioningAmenities.kif 878-878
(defaultMinimumMeasure GameGoal
    (MeasureFn 30 PoundMass))
DimensioningAmenities.kif 880-880
(defaultMinimumWidth GameGoal
    (MeasureFn 3 FootLength))
DimensioningAmenities.kif 876-876
(documentation GameGoal EnglishLanguage "The location where a GameShot must end up if it is to constitute a Score.") Mid-level-ontology.kif 14601-14602
(subclass GameGoal GameArtifact) Mid-level-ontology.kif 14600-14600

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


(termFormat EnglishLanguage GameGoal "game goal") domainEnglishFormat.kif 4665-4665

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners