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 17937-17937
(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 17936-17936	Ball is a subclass of game piece

appearance as argument number 2

(subclass BasketBall Ball)	Sports.kif 346-346	Basket ball is a subclass of ball
(subclass BowlingBall Ball)	Sports.kif 1121-1121	Bowling ball is a subclass of ball
(subclass GolfBall Ball)	Sports.kif 325-325	Golf ball is a subclass of ball
(subclass ShotBall Ball)	Mid-level-ontology.kif 17943-17943	Shot ball is a subclass of ball
(subclass SoccerBall Ball)	Sports.kif 311-311	Soccer ball is a subclass of ball
(subclass TennisBall Ball)	Sports.kif 347-347	Tennis ball is a subclass of ball
(subclass VolleyBall Ball)	Sports.kif 345-345	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 17939-17941

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 18034-18038	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 18023-18027	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 9964-9987	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