Ball - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Ball

Ball(ball)

ball, baseball, billiard_ball, bocce_ball, bocci_ball, boccie_ball, bowl, cricket_ball, croquet_ball, cue_ball, eight_ball, field_hockey_ball, handball, jack, lacrosse_ball, marble, object_ball, ping-pong_ball, playground_ball, polo_ball, pool_ball, racquetball, roulette_ball, softball, squash_ball

appearance as argument number 1

(documentation Ball EnglishLanguage "Any GamePiece which has the shape of a sphere.")	Mid-level-ontology.kif 18406-18406
(externalImage Ball "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_1/ 8_Ball.png")	pictureList.kif 252-252
(externalImage Ball "http://upload.wikimedia.org/wikipedia/commons/8/89/ Ball.agr.jpg")	pictureList.kif 32-32
(subclass Ball GamePiece)	Mid-level-ontology.kif 18405-18405	Ball is a subclass of game piece

appearance as argument number 2

(subclass BasketBall Ball)	Sports.kif 358-358	Basket ball is a subclass of ball
(subclass BowlingBall Ball)	Sports.kif 1133-1133	Bowling ball is a subclass of ball
(subclass GolfBall Ball)	Sports.kif 337-337	Golf ball is a subclass of ball
(subclass ShotBall Ball)	Mid-level-ontology.kif 18412-18412	Shot ball is a subclass of ball
(subclass SoccerBall Ball)	Sports.kif 323-323	Soccer ball is a subclass of ball
(subclass TennisBall Ball)	Sports.kif 359-359	Tennis ball is a subclass of ball
(subclass VolleyBall Ball)	Sports.kif 357-357	Volley ball is a subclass of ball
(termFormat ChineseLanguage Ball "球")	domainEnglishFormat.kif 9679-9679	Volley ball is a subclass of ball
(termFormat ChineseTraditionalLanguage Ball "球")	domainEnglishFormat.kif 9678-9678	Volley ball is a subclass of ball
(termFormat EnglishLanguage Ball "ball")	domainEnglishFormat.kif 9677-9677	Volley ball is a subclass of ball

antecedent

(=>
(instance ?B Ball)
(attribute ?B Sphere))

Mid-level-ontology.kif 18408-18410

If an object is an instance of ball,
then sphere is an attribute of the object

consequent

(=> (and (instance ?CATCH Catching) (patient ?CATCH ?BALL)) (instance ?BALL Ball))	Mid-level-ontology.kif 18503-18507	If a process is an instance of catching and an entity is a patient of the process, then the entity is an instance of ball
(=> (and (instance ?PITCH Pitching) (patient ?PITCH ?BALL)) (instance ?BALL Ball))	Mid-level-ontology.kif 18492-18496	If a process is an instance of pitching and an entity is a patient of the process, then the entity is an instance of ball
(=> (equal (MeasureFn ?X PoundForce) (JankaHardnessFn ?CLASS)) (modalAttribute (exists (?T ?W ?P ?B ?H ?S) (and (instance ?T ?CLASS) (part ?W ?T) (instance ?W Wood) (instance ?P Pushing) (destination ?P ?W) (instance ?B Ball) (material ?B Steel) (patient ?P ?B) (sphereRadius ?B (MeasureFn 5.64 Millimeter)) (result ?P ?H) (instance ?H HoleRegion) (part ?H ?W) (surface ?S ?W) (distance ?S ?H (MeasureFn 5.64 Millimeter)) (measure ?P (MeasureFn ?X PoundForce)))) Likely))	Mid-level-ontology.kif 10417-10440	If a real number pound force(s) is equal to The Janka Hardness of a kind of botanical tree is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely

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 is open source software produced by Articulate Software and its partners