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


KB Term:  Term intersection
English Word: 

  BowlingBall

 Sigma KEE - BowlingBall
BowlingBall(bowling ball)bowl, bowling_ball, ninepin_ball, skittle_ball

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


(subclass BowlingBall Ball) Sports.kif 1147-1147 Bowling ball is a subclass of ball
(documentation BowlingBall EnglishLanguage "BowlingBall refers to a type of Ball used in Bowling. It normally has 3 HoleRegion where somebody would put his fingers to hold it") Sports.kif 1148-1150 Bowling ball is a subclass of ball
(defaultMinimumMeasure BowlingBall
    (MeasureFn 2 PoundMass))		 DimensioningAmenities.kif 728-728 The minimum expected value of bowling ball is 2 pound mass(s)
(defaultMaximumMeasure BowlingBall
    (MeasureFn 16 PoundMass))		 DimensioningAmenities.kif 729-729 The maximum expected value of bowling ball is 16 pound mass(s)
(defaultMinimumSphereRadius BowlingBall
    (MeasureFn 2.25 Inch))		 DimensioningAmenities.kif 730-730 The minimum expected radius of bowling ball is 2.25 inch(s)
(defaultMaximumSphereRadius BowlingBall
    (MeasureFn 4.3 Inch))		 DimensioningAmenities.kif 731-731 The maximum expected radius of bowling ball is 4.3 inch(s)

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


(termFormat EnglishLanguage BowlingBall "bowling ball") Sports.kif 1151-1151

antecedent
-------------------------


(=>
    (instance ?B BowlingBall)
    (exists (?HOLES)
        (and
            (instance ?HOLES CollectionOfObjects)
            (memberType ?HOLES HoleRegion)
            (memberCount ?HOLES 3)
            (located ?HOLES ?B)
            (hasPurpose ?HOLES
                (exists (?FINGER ?HOLE)
                    (and
                        (member ?HOLE ?HOLES)
                        (instance ?FINGER Finger)
                        (partiallyFills ?FINGER ?HOLE)))))))		 Sports.kif 1153-1166 If X is an instance of bowling ball, then All of the following hold: (1) there exists Y such that Y is an instance of collection (2) hole is a member type of Y (3) 3 is a member count of Y (4) Y is located at X (5) Y has the purpose there exist Z (6) W such that W is a member of Y (7) Z is an instance of finger (8) Z partially fills W

consequent
-------------------------


(=>
    (instance ?B Bowling)
    (exists (?BALL ?TRANS ?LANE)
        (and
            (instance ?TRANS Translocation)
            (instance ?BALL BowlingBall)
            (patient ?TRANS ?BALL)
            (instance ?LANE BowlingLane)
            (path ?TRANS ?LANE)
            (subProcess ?TRANS ?B))))		 Sports.kif 1135-1144 If X is an instance of bowling, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of translocation (3) Y is an instance of bowling ball (4) Y is a patient of Z (5) W is an instance of bowling lane (6) W is path along which Z occurs (7) Z is a subprocess of X
(=>
    (instance ?BL BowlingLane)
    (hasPurpose ?BL
        (exists (?TR ?BALL)
            (and
                (instance ?TR Translocation)
                (instance ?BALL BowlingBall)
                (patient ?TR ?BALL)
                (path ?TR ?BL)))))		 Sports.kif 1174-1182 If X is an instance of bowling lane, then X has the purpose there exist Y, Z such that Y is an instance of translocation, Z is an instance of bowling ball, Z is a patient of Y, and X is path along which Y occurs


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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